Efficient Checking of Term Ordering Constraints.

Alexandre Riazanov, Andrei Voronkov

Browse the full CADE paper archive.