Algebraic and logic programming proceedings - International Conference on Algebraic and Logic Programming (3rd: 1992: Volterra, Italy) (Springer-Verlag, 1992)