Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings / - Kirchner, H.; Levi, G. (Springer-Verlag, 1992)