Orderings for term rewriting systems. (1982)

by Nachum Dershowitz
Venue:Theoretical Computer Science,