Kristoffer H. Rose, Roel Bloo, Frederic Lang. On Explicit Substitution with Names.
Journal of Automated Reasoning, Springer Verlag, 2012, Special Issue: Theory and Applications of Abstraction, Substitution and Naming, 49 (2), pp.275-300.
⟨10.1007/s10817-011-9222-5⟩.
⟨hal-00763399⟩