Orderings for term-rewriting systems (1979)

by N Dershowitz
Venue:In 20th Annual Symposium on Foundations of Computer Science