Flávio L. C. de Moura

@InProceedings{AMGAR10,
  author =       {A.B. Avelar and F.L.C. de Moura and A.L. Galdino and M. Ayala-Rincón},
  title =        {Verification of the Completeness of Unification Algorithms à la Robinson},
  booktitle = {Proc. 17th Workshop on Logic, Language, Information and Computation (WoLLIC 2010)},
  pages =        {110-124},
  year =         2010,
  volume =       6188,
  series =       lnai}