Andrei Voronkov Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings LPAR Lecture Notes in Computer Science 624 Springer 1992 3-540-55727-X db/conf/lpar/lpar92.html