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

by A Bossi, S Etalle
Venue:Logic Program Synthesis and Transformation---Meta-Programming in Logic. Proceedings of LOPSTR'94 and META'94, LNCS 883, 311--331