Flávio L. C. de Moura
@InProceedings{MARK05, author = {F. L. C. de Moura and M. Ayala-Rinc\'on and F. Kamareddine}, title = {{A Framework for Simulating and Comparing Explicit Substitutions Calculi}}, booktitle = {5th International Workshop on the Implementation of Logics - IWIL 2004}, editor = {Boris Konev and Stephan Schulz}, pages = {16-30}, year = 2005}