Logic programming proceedings - Voronkov A ed.; Russian Conference on Logic programming(Sept. 1990, Sept. 1991 : Irkutsk and St.Petersburg, Russia>; Russian Conference on Logic Programming Irkutsk, St.Petersburg, Russia 19,901,991 (Berlin Springer-Verlag, 1992)
Keywords: Logic programming