Eli Ben-Sasson, Jakob Nordström. Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions. In Bernard Chazelle, editor, Innovations in Computer Science - ICS 2010, Tsinghua University, Beijing, China, January 7-9, 2011. Proceedings. pages 401-416, Tsinghua University Press, 2011. [doi]
Abstract is missing.