Checkable Proofs for First-Order Theorem Proving.

Giles Reger, Martin Suda

Browse the full CADE paper archive.