Replacement can Preserve Termination (1996)

by A Bossi, N Cocco
Venue:Pre-Proceedings of LOPSTR'96, 78--91