Logic program synthesis and transformation-- Meta-programming in Logic 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings / - Fribourg, Laurent,; Turini, Franco, (Lecture notes in computer science ;)