Advances in Proof Theory - Kahle, Reinhard; Strahm, Thomas; Studer, Thomas; Strahm, Thomas; Studer, Thomas (Springer International Publishing, 2016)