TY  - RPRT
TI  - Schematic Cut elimination and the Ordered Pigeonhole Principle [Extended Version]
AU  - David Cerna
AU  - Alexander Leitsch
PY  - 2016
DO  - 10.1007/978-3-319-40229-1_17
UR  - https://arxiv.org/abs/1601.06548
ID  - 1601.06548
ER  -