Ordered Chaining for Total Orderings.

Leo Bachmair, Harald Ganzinger

Browse the full CADE paper archive.