Alberto Pettorossi Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers LOPSTR Lecture Notes in Computer Science 2372 Springer 2001 3-540-43915-3 db/conf/lopstr/lopstr2001.html