Preserving Universal Termination through Unfold/Fold (1994)

by A Bossi, N Cocco
Venue:Proc. 4th International Conference on Algebraic and Logic Programming, LNCS 850, 269--286