Giorgio Levi Mario Rodríguez-Artalejo Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings ALP Lecture Notes in Computer Science 850 Springer 1994 3-540-58431-5 db/conf/alp/alp94.html