Effiecient Compilation of First Order Predicates

Giuseppe Attardi, Mauro Gaspari, Pietro Iglio. Effiecient Compilation of First Order Predicates. In Edoardo Ardizzone, Salvatore Gaglio, Filippo Sorbello, editors, Trends in Artificial Intelligence, 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31, 1991, Proceedings. Volume 549 of Lecture Notes in Computer Science, pages 440-444, Springer, 1991.

Abstract

Abstract is missing.