A. Leitsch, D. Cerna: "Schematic Cut elimination and the Ordered Pigeonhole Principle"; CoRR - Computing Research Repository, abs/1601.06548 (2016), abs/1601.06548.
http://publik.tuwien.ac.at/files/publik_251527.pdf