Donald Sannella (auth.), Annalisa Bossi (eds.)

Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers