Books by International Workshop on Logic Program Synthesis and Transformation (9th 1999 Venice, Italy) on BookTides.