Orienting Equalities with the Knuth-Bendix Order.

Konstantin Korovin, Andrei Voronkov

Browse the full LICS paper archive.