Books by International Workshop on Logic Program Synthesis and Transformation (1993 Louvain-la-Neuve, Belgium) on BookTides.