More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics.

Annalisa Bossi, Sandro Etalle

Browse the full LOPSTR paper archive.