Evaluation of Indexing Techniques for Theorem Proving -- Logic Programming and