Premise Selection in the Naproche System.

Marcos Cramer, Peter Koepke, Daniel Khlwein, Bernhard Schrder

Browse the full CADE paper archive.