Logic-Based Program Synthesis and Transformation 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers - Bossi, Annalisa; Bossi, Annalisa (Springer Berlin Heidelberg : Imprint: Springer, 2000)