Preserving universal termination through unfold/fold (1994)

by A Bossi, N Cocco
Venue:Algebraic and Logic Programming, ALP’94, Proceedings, LNCS 850