Flávio L. C. de Moura

@InProceedings{MKA05,
  author =       {F.L.C. de Moura and F. Kamareddine and
                  M. Ayala-Rinc\'on},
  title =        {Second Order Matching via Explicit Substitutions},
  booktitle =    {11th International Conference on Logic for
                  Programming Artificial Intelligence and Reasoning
                  (LPAR'04)},
  year =         2005,
  editor =       {F. Baader and A. Voronkov},
  pages =        {433-448},
  volume =       3452,
  series =       {LNAI},
  publisher =    {Springer-Verlag}}