Methods of Cut-Elimination - Leitsch, Alexander; Baaz, Matthias (Springer Netherlands, 2011)