Elimination of Equality via Transformation with Ordering Constraints.

Leo Bachmair, Harald Ganzinger, Andrei Voronkov

Browse the full CADE paper archive.