Efficient compilation of first order predicates
Attardi, Giuseppe ; Gaspari, Mauro ; Iglio, Pietro
Trends in Artificial Intelligence, 2005, p.440-444
[Periódico revisado por pares]
Berlin, Heidelberg: Springer Berlin Heidelberg
Texto completo disponível