Termination (1985)

by N Dershowitz
Venue:Proceedings of the International Conference on Rewriting Techniques and Applications