Borralleras Andreu, Cristina; Rubio, Albert
(Springer, 2003)
Abstract. Polynomial interpretations and RPO-like orderings allow one
to prove termination of Associative and Commutative (AC-)rewriting
by only checkingthe rules of the given rewrite system. However, these
methods have ...