No Choice: Reconstruction of First-order ATP Proofs without Skolem Functions.

Michael Frber, Cezary Kaliszyk

Browse the full CADE paper archive.