Logic-based program synthesis and transformation 9th International Workshop, LOPSTR '99, Venice, Italy, September 1999 : selected papers / - Bossi, Annalisa, (Lecture notes in computer science ;)