John P. Gallagher Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings LOPSTR Lecture Notes in Computer Science 1207 Springer 1997 3-540-62718-9 db/conf/lopstr/lopstr96.html