INTRODUCTION TO THE COMBINATORICS AND COMPLEXITY OF CUT ELIMINATION

by A. Carbone , S. Semmes