Efficient Translation of Sequent Calculus Proofs Into Natural Deduction Proofs.

Gabriel Ebner, Matthias Schlaipfer

Browse the full CADE paper archive.