On Translations of Epsilon Proofs to LK.

Matthias Baaz, Anela Lolic

Browse the full LPAR paper archive.