Ilario Bonacina

• Space in Weak Propositional Proof Systems