Algebraic and logic programming proceedings - International Conference on Algebraic and Logic Programming (3rd: 1992: Volterra, Italy).; Kirchner, H.; Levi, G. (Berlin Springer-Verlag, 1992)
Keywords: Logic, Symbolic and mathematical