Space in Weak Propositional Proof Systems - Ilario Bonacina (Springer, 2017)