Orderings for term-rewriting systems", Theoretical Computer Science 17 (1982)

by N Dershowitz