Proving Termination of Associative Commutative Rewriting Systems by Rewriting.

Isabelle Gnaedig, Pierre Lescanne

Browse the full CADE paper archive.