Read Logic Program Synthesis And Transformation: Proceedings Of Lopstr 93, International Workshop On Logic Program Synthesis And Transformation, Louvain La Neuve, Belgium, 7–9 July 1993 1994