Flávio L. C. de Moura

@Article{MARK06,
  author =       "F.L.C.~de Moura and M.~Ayala-Rinc{\'o}n and
                  F. Kamareddine",
  title =        "{SUBSEXPL: A Framework for Simulating and Comparing
                  Explicit Substitutions Calculi}",
  journal =      "Journal of Applied and Non-classical Logics",
  year =         2006,
  volume =       16,
  number =       "1-2",
  pages =        "119--150"
}