On the Evaluation of Indexing Techniques for Theorem Proving.

Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, Andrei Voronkov

Browse the full CADE paper archive.