@InProceedings{BW99,
author={Eli Ben-Sasson and Avi Wigderson},
title={Short proofs are narrow -
resolution made simple},
crossref={STOC31},
booktitle={Proceedings of the 31st STOC},
pages={517-526},
year={1999},
}