Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1994)