%0 Conference Paper %1 conf/cade/NieuwenhuisHRV01 %A Nieuwenhuis, Robert %A Hillenbrand, Thomas %A Riazanov, Alexandre %A Voronkov, Andrei %B IJCAR %D 2001 %E Goré, Rajeev %E Leitsch, Alexander %E Nipkow, Tobias %I Springer %K dblp %P 257-271 %T On the Evaluation of Indexing Techniques for Theorem Proving. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2001.html#NieuwenhuisHRV01 %V 2083 %@ 3-540-42254-4

@inproceedings{conf/cade/NieuwenhuisHRV01, added-at = {2017-05-21T00:00:00.000+0200}, author = {Nieuwenhuis, Robert and Hillenbrand, Thomas and Riazanov, Alexandre and Voronkov, Andrei}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c7c13cb05209f8a1c0b615efffc33696/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2001}, editor = {Goré, Rajeev and Leitsch, Alexander and Nipkow, Tobias}, ee = {https://doi.org/10.1007/3-540-45744-5_19}, interhash = {86ffa265012fb71ee87aed0aa05d0954}, intrahash = {c7c13cb05209f8a1c0b615efffc33696}, isbn = {3-540-42254-4}, keywords = {dblp}, pages = {257-271}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:38:35.000+0200}, title = {On the Evaluation of Indexing Techniques for Theorem Proving.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2001.html#NieuwenhuisHRV01}, volume = 2083, year = 2001 }