Proving Termination of (Conditional) Rewrite Systems (1993)

by E Bevers, J Lewi
Venue:Acta Informatica