Replacement can preserve termination (1996)

by A Bossi, N Cocco
Venue:Leuschel and M. Bruynooghe Logic Programming Synthesis and Transformation, LOPSTR’96, Proceedings, LNCS 1207