G. Reis: "Cut-Introduction: GAPT System Demonstration"; Talk: 3rd workshop of the Amadeus project on Proof Compression (co-located with Tableaux 2013), Nancy; 2013-09-16.