Flávio L. C. de Moura

@InProceedings{AMGAR11,
  author =       {A.B. Avelar and A.L. Galdino and F.L.C. de Moura and M. Ayala-Rincón},
  title     = {A Formalization of the Theorem of Existence of First-Order Most General
               Unifiers},
  booktitle = {Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications,
               {LSFA} 2011, Belo Horizonte, Brazil, 27 August 2011.},
  pages     = {63--78},
  year      = {2011},
  crossref  = {DBLP:journals/corr/abs-1203-5423},
  url       = {http://dx.doi.org/10.4204/EPTCS.81.5},
  doi       = {10.4204/EPTCS.81.5},
  timestamp = {Mon, 28 Oct 2013 16:56:55 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1203-6160},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1203-5423,
  editor    = {S. Ronchi Della Rocca and
               E. Pimentel},
  title     = {Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications,
               {LSFA} 2011, Belo Horizonte, Brazil, 27 August 2011},
  series    = {{EPTCS}},
  volume    = {81},
  year      = {2011},
  url       = {http://dx.doi.org/10.4204/EPTCS.81},
  doi       = {10.4204/EPTCS.81},
  timestamp = {Mon, 28 Oct 2013 16:56:55 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1203-5423},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}