A. Leitsch, M. Baaz: "Fast Cut-Elimination by CERES"; in: "Proofs, Categories and Computations", S. Feferman, W. Sieg (ed.); College Publications, London, 2010, ISBN: 978-1-84890-012-7, 31 - 49.