Laurent Fribourg Franco Turini Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings LOPSTR/META Lecture Notes in Computer Science 883 Springer 1994 3-540-58792-6 db/conf/lopstr/lopstr94.html