Pierre Talbot, David Cachera, Eric Monfroy, Charlotte Truchet. Combining Constraint Languages via Abstract Interpretation.
2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2019, Portland, France. pp.50-58,
⟨10.1109/ICTAI.2019.00016⟩.
⟨hal-02945596⟩