Space complexity in propositional calculus.

Michael Alekhnovich, Eli Ben-Sasson, Alexander A. Razborov, Avi Wigderson

Browse the full STOC paper archive.