Advances in Proof Theory - Kahle, Reinhard; Strahm, Thomas; Studer, Thomas (Springer International Publishing : Imprint: Birkhäuser, 2016)