Hélène Kirchner Giorgio Levi Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings ALP Lecture Notes in Computer Science 632 Springer 1992 3-540-55873-X db/conf/alp/alp92.html