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]
Abstract is missing.