Michael Alekhnovich, Eli Ben-Sasson, Alexander A. Razborov, Avi Wigderson. Space Complexity in Propositional Calculus. SIAM Journal on Computing, 31(4):1184-1211, 2002. [doi]
@article{AlekhnovichBRW02,
title = {Space Complexity in Propositional Calculus},
author = {Michael Alekhnovich and Eli Ben-Sasson and Alexander A. Razborov and Avi Wigderson},
year = {2002},
url = {http://epubs.siam.org/sam-bin/dbq/article/36673},
researchr = {https://researchr.org/publication/AlekhnovichBRW02},
cites = {0},
citedby = {0},
journal = {SIAM Journal on Computing},
volume = {31},
number = {4},
pages = {1184-1211},
}