Termination of rewriting (1987)

by N Dershowitz
Venue:Rewriting Techniques and Applications