@InProceedings{ABRW00, author={Mikhail Alekhnovich and Eli Ben-Sasson and Alexander Razborov and Avi Wigderson}, title={Pseudorandom generators in propositional proof complexity}, crossref={FOCS41}, booktitle={Proceedings of the 41st FOCS}, pages={43-53}, year={2000}, }