On the Evaluation of Indexing Techniques for Theorem Proving | Publicación