Termination of rewriting. (1987)

by N Dershowitz
Venue:Journal of Symbolic Computation