Marcos Cramer, Peter Koepke, Daniel Kühlwein, Bernhard Schröder. Premise Selection in the Naproche System. In Jürgen Giesl, Reiner Hähnle, editors, Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh,UK, July 16-19, 2010. Proceedings. Volume 6173 of Lecture Notes in Computer Science, pages 434-440, Springer, 2010. [doi]
@inproceedings{CramerKKS10,
title = {Premise Selection in the Naproche System},
author = {Marcos Cramer and Peter Koepke and Daniel Kühlwein and Bernhard Schröder},
year = {2010},
doi = {10.1007/978-3-642-14203-1_37},
url = {http://dx.doi.org/10.1007/978-3-642-14203-1_37},
researchr = {https://researchr.org/publication/CramerKKS10},
cites = {0},
citedby = {0},
pages = {434-440},
booktitle = {Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh,UK, July 16-19, 2010. Proceedings},
editor = {Jürgen Giesl and Reiner Hähnle},
volume = {6173},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-14202-4},
}