Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings - Voronkov, A. (Andreĭ), 1959- (Lecture notes in computer science ;, 1993)