An AC-Compatible Knuth-Bendix Order.

Konstantin Korovin, Andrei Voronkov

Browse the full CADE paper archive.