The following publications are possibly variants of this publication:
- A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions CalculiF. L. C. de Moura, A. V. Barbosa, Mauricio Ayala-Rincón, Fairouz Kamareddine. ENTCS, 269:41-54, 2011. [doi]
- Principal Typings for Explicit Substitutions CalculiDaniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine. cie 2008: 567-578 [doi]
- The Theory of Calculi with Explicit Substitutions RevisitedDelia Kesner. csl 2007: 238-252 [doi]
- SUBSEXPL: a tool for simulating and comparing explicit substitutions calculiFlávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine. jancl, 16(1-2):119-150, 2006.
- Comparing and implementing calculi of explicit substitutions with eta-reductionMauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine. APAL, 134(1):5-41, 2005. [doi]
- Comparing Calculi of Explicit Substitutions with Eta-reductionMauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine. ENTCS, 67:76-95, 2002. [doi]