Space complexity in propositional calculus

Michael Alekhnovich, Eli Ben-Sasson, Alexander A. Razborov, Avi Wigderson. Space complexity in propositional calculus. In STOC. pages 358-367, 2000. [doi]

Abstract

Abstract is missing.