Youness Laghouaouta, Pierre Laforcade. A Practical Approach for Constraint Solving in Model Transformations.
13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers, pp.104-123, 2019,
⟨10.1007/978-3-030-29157-0_5⟩.
⟨hal-02305449⟩ 
