CITATION STYLE
Nieuwenhuis, R., Hillenbrand, T., Riazanov, A., & Voronkov, A. (2001). On the evaluation of indexing techniques for theorem proving. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2083 LNAI, pp. 257–271). Springer Verlag. https://doi.org/10.1007/3-540-45744-5_19
Mendeley helps you to discover research relevant for your work.