Methods of cut-elimination - Baaz, Matthias (Trends in logic, 2011)