@InProceedings{CL16,
    Author       = "Cerna, D. and Leitsch, A.",
    Year         = "2016",
    Title        = "{Schematic Cut Elimination and the Ordered Pigeonhole
                    Principle}",
    Editor       = "Olivetti, N. and Tiwari, A.",
    BookTitle    = "{Proceedings of the 8th International Joint Conference on
                    Automated Reasoning}",
    Place        = "Coimbra, Portugal",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "9706",
    Pages        = "241-256",
    Comment      = "TPTPRef"
}