@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},
}