@Article{BIW03,
author={Eli Ben-Sasson and Russell Impagliazzo and Avi
Wigderson},
title={Near Optimal Separation of Tree-like and General
Resolution},
journal={Combinatorica},
volume={24},
issue={4},
pages+[585-604},
year={2003},
}