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