Algebraic and logic programming : proceedings - Voronkov Andrei; International Conference on Logic Programming and Automated Reasoning( 4th : 1993 : St Petersburg ); International Conference on Logic Programming and Automated Reasoning 4th St Petersburg, 1993 (Berlin Springer Verlag, 1993)
Keywords: Automated reasoning; Logic programming