Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani. Satisfiability of General Intruder Constraints with and without a Set Constructor.
Journal of Symbolic Computation, Elsevier, 2017, 80, pp. 27-61.
⟨10.1016/j.jsc.2016.07.009⟩.
⟨hal-01405842⟩