@article{v003a005,
 author = {Michael Alekhnovich and Jan Johannsen and Toniann Pitassi and Alasdair Urquhart},
 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 = {1},
 URL = {http://www.theoryofcomputing.org/articles/v003a005},
}