Publications and Presentations Christoph Spörk June 1, 2016 Christoph Spoerk Thesis 2015 Spörk C., “Algorithms for Quantified Cut-Introduction”, Vienna University of Technology, June 2015.
