You are about to access our book library "Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992 : Proceedings (Lecture Notes in Artificial Intelligence 624) full version" .