Proving Termination of (Conditional) Rewrite Systems. A Semantic Approach.

Eddy Bevers Johan Lewi Proving Termination of (Conditional) Rewrite Systems. A Semantic Approach. 537-568 1993 30 Acta Inf. 6 db/journals/acta/acta30.html#BeversL93