TY  - RPRT
TI  - Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination
AU  - Alessandra Carbone
AU  - S. Semmes
PY  - 1996
UR  - https://arxiv.org/abs/math/9607204
ID  - math/9607204
ER  -