"More on Unfold/Fold Transformations of Normal Programs: Preservation of ..."

Annalisa Bossi, Sandro Etalle (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics