Termination of rewriting (1987)

by N Dershowitz
Venue:Journal of Symbolic Computation