Michael Alekhnovich, Jan Johannsen, Toniann Pitassi, Alasdair Urquhart. An Exponential Separation between Regular and General Resolution. Electronic Colloquium on Computational Complexity (ECCC), 8(056), 2001. [doi]
@article{ECCC-TR01-056,
title = {An Exponential Separation between Regular and General Resolution},
author = {Michael Alekhnovich and Jan Johannsen and Toniann Pitassi and Alasdair Urquhart},
year = {2001},
url = {http://eccc.hpi-web.de/eccc-reports/2001/TR01-056/index.html},
researchr = {https://researchr.org/publication/ECCC-TR01-056},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {8},
number = {056},
}