Term Ordering Diagrams.

Mrton Hajd, Robin Coutelier, Laura Kovcs, Andrei Voronkov

Browse the full CADE paper archive.