Orderings for term-rewriting systems, Theoret (1982)

by N Dershowitz
Venue:Comput. Sci