Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi. PAP: A Logic Programming System Based on a Constructive Logic. In Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi, editors, Foundations of Logic and Functional Programming, Workshop, Trento, Italy, December 15-19, 1986, Proceedings. Volume 306 of Lecture Notes in Computer Science, pages 143-156, Springer, 1986.
Abstract is missing.