Space in Weak Propositional Proof Systems - Bonacina, Ilario (Springer International Publishing : Imprint: Springer, 2017)