Exponentially Huge Natural Deduction proofs are Redundant: Preliminary results on M<sub>⊃</sub>.

Edward Hermann Haeusler Exponentially Huge Natural Deduction proofs are Redundant: Preliminary results on M<sub>⊃</sub>. 2020 abs/2004.10659 CoRR https://arxiv.org/abs/2004.10659 db/journals/corr/corr2004.html#abs-2004-10659