Methods of cut-elimination - Leitsch, Alexander (Trends in Logic ;, 2011)