Roy Dyckhoff Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, U.K., March 29 - April 1, 1993, Proceedings ELP Lecture Notes in Computer Science 798 Springer 1994 3-540-58025-5 db/conf/elp/elp93.html