Russia) Lpar (1992 Saint Petersburg

title	ISBN-13 (ISBN-10)	year of publication
Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992: Proceedings	978-O-387-55727-4 (O-387-55727-X)	1992