Books by International Workshop on Logic Program Synthesis and Transformation (6th 1996 Stockholm, Sweden) on BookTides.