TY  - RPRT
TI  - Exponentially Huge Natural Deduction proofs are Redundant: Preliminary results on $M_\supset$
AU  - Edward Hermann Haeusler
PY  - 2020
UR  - https://arxiv.org/abs/2004.10659
ID  - 2004.10659
ER  -