Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers - Annalisa Bossi ((Lecture Notes in Computer Science))