@Article{ABRW01,
author={Mikhail Alekhnovich and Eli Ben-Sasson and Alexander
Razborov and Avi Wigderson},
title={Space Complexity in Propositional Calculus},
journal={SIAM Journal of Computing},
volume={31},
number={4},
pages={1184-1211},
year={2001},
}