Preserving universal termination through unfold/fold (1994)

by A Bossi, N Cocco
Venue:In Proceedings ALP ’94. Lecture Notes in Computer Science 850