Flávio L. C. de Moura

@Article{AMK05,
  author =       "M. Ayala-Rinc{\'o}n and F.L.C. de Moura and
                    F. Kamareddine",
  title =        "{Comparing and Implementing Calculi of Explicit
                    Substitutions with Eta-Reduction}",
  journal =      "{Annals of Pure and Applied Logic}",
  year =         2005,
  volume =       134,
  pages =        "5--41"
}