Methods of cut-elimination - Baaz, Matthias (Springer, 2011)
Includes bibliographical references (p. 275-281) and index