TY  - RPRT
TI  - On the Intrinsic Redundancy in Huge Natural Deduction proofs II: Analysing $M_{\imply}$ Super-Polynomial Proofs
AU  - Edward Hermann Haeusler
PY  - 2021
UR  - https://arxiv.org/abs/2009.09802
ID  - 2009.09802
ER  -