External Sources of Axioms in Automated Theorem Proving.

Martin Suda, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo

Browse the full KI paper archive.