Books by International Workshop on Logic Program Synthesis and Transformation (5th 1995 Utrecht, Netherlands) on BookTides.