"SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi."

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