Hélène Kirchner Wolfgang Wechler Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings ALP Lecture Notes in Computer Science 463 Springer 1990 3-540-53162-9 db/conf/alp/alp90.html