Flávio L. C. de Moura

  author =	 {F. L. C. de Moura and M. Ayala-Rinc\'on and
		  F. Kamareddine},
  title =	 {{A Framework for Simulating and Comparing Explicit
		  Substitutions Calculi}},
  booktitle =	 {5th International Workshop on the Implementation of
		  Logics - IWIL 2004},
  editor =	 {Boris Konev and Stephan Schulz},
  pages =	 {16-30},
  year =	 2005}

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

Created: 2016-12-03 Sáb 16:03