"Metaconfluence of Calculi with Explicit Substitutions at a Distance."

Flávio L. C. de Moura, Delia Kesner, Mauricio Ayala-Rincón (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics