Journal of Logical and Algebraic Methods in Programming Journal of Logical and Algebraic Methods in Programming, 2019, 105, pp.1-27. ⟨10.1016/j.jlamp.2019.02.007⟩ Journal of Logical and Algebraic Methods in Programming, Elsevier, 2019, 105, pp.1-27. ⟨10.1016/j.jlamp.2019.02.007⟩