@misc{indiciaebda0ab111dd1,
  title = {Exponentially Huge Natural Deduction proofs are Redundant: Preliminary results on \$M\_\textbackslash{}supset\$},
  author = {Edward Hermann Haeusler},
  year = {2020},
  url = {https://arxiv.org/abs/2004.10659},
  note = {Source identifier: 2004.10659}
}