@article{v003a005,
 author = {Alekhnovich, Michael and Johannsen, Jan and Pitassi, Toniann and Urquhart, Alasdair},
 title = {An Exponential Separation between Regular and General Resolution},
 year = {2007},
 pages = {81--102},
 doi = {10.4086/toc.2007.v003a005},
 publisher = {Theory of Computing},
 journal = {Theory of Computing},
 volume = {3},
 number = {5},
 URL = {https://theoryofcomputing.org/articles/v003a005},
}