Alasdair Urquhart. A Near-Optimal Separation of Regular and General Resolution. SIAM Journal on Computing, 40(1):107-121, 2011. [doi]
@article{Urquhart11,
title = {A Near-Optimal Separation of Regular and General Resolution},
author = {Alasdair Urquhart},
year = {2011},
doi = {10.1137/090772897},
url = {http://dx.doi.org/10.1137/090772897},
researchr = {https://researchr.org/publication/Urquhart11},
cites = {0},
citedby = {0},
journal = {SIAM Journal on Computing},
volume = {40},
number = {1},
pages = {107-121},
}