Books by International Workshop on Logic Program Synthesis and Transformation (1992 University of Manchester) on BookTides.