@misc{indiciae5f34f486dc66,
  title = {Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination},
  author = {Alessandra Carbone and S. Semmes},
  year = {1996},
  url = {https://arxiv.org/abs/math/9607204},
  note = {Source identifier: math/9607204}
}