Παπαμακάριος Θεόδωρος, Proof Complexity: A Tableau Perspective, 2017,