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}