Logic program synthesis and transformation-- Meta-programming in Logic by International Workshop on Logic Program Synthesis and Transformation (4th 1994 Pisa, Italy) · Bookplated