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}}

Email: flaviomoura@unb.br, flavio.de.moura@gmail.com

Created: 2016-12-03 Sáb 15:43

Validate