Termination Orderings for Associative-Commutative Rewriting Systems (1985)

by L Bachmair, D A Plaisted
Venue:Journal of Symbolic Computation