Annalisa Bossi Logic Programming Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected Papers LOPSTR Lecture Notes in Computer Science 1817 Springer 2000 3-540-67628-7 db/conf/lopstr/lopstr99.html