Flávio L. C. de Moura

@Article{MARK08,
  author =       "F.L.C.~de Moura and M.~Ayala-Rinc{\'o}n and
                  F.~Kamareddine",
  title =        "{Higher-Order Unification: A structural relation
                  between Huet's method and the one based on explicit
                  substitutions}",
  journal =      "Journal of Applied Logic",
  pages =        "72--108",
  volume =       6,
  number =       1,
  year =         2008
}