@misc{indiciae86ffac47b125,
  title = {Schematic Cut elimination and the Ordered Pigeonhole Principle [Extended Version]},
  author = {David Cerna and Alexander Leitsch},
  year = {2016},
  doi = {10.1007/978-3-319-40229-1\_17},
  url = {https://arxiv.org/abs/1601.06548},
  note = {Source identifier: 1601.06548}
}