More on unfold/fold transformations of normal programs: Preservation of fitting’s semantics (1994)

by A Bossi, S Etalle
Venue:Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR’94 and META’94