A General Analysis of Cut-Elimination by CERes Bruno Woltzenlogel Paleo Theoretische Informatik und Logik Institut für Computersprachen Technische Universität Wien 2009, November 4th Bruno Woltzenlogel Paleo A General Analysis of Cut-Elimination by CERes