Add Tableaux 2013, Workshop on Proof Compression - Subsumption, Recursive Split, Greedy Pebbling slides