Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub.

Eugen Kuksa, Till Mossakowski

Browse the full CADE paper archive.