Theory of Computing Article Abstract
------------------------------------
Title     : An Exponential Separation between Regular and General Resolution
Authors   : Michael Alekhnovich, Jan Johannsen, Toniann Pitassi, Alasdair Urquhart
Volume    : 3
Number    : 5
Pages     : 81-102
URL       : http://www.theoryofcomputing.org/articles/main/v003/a005/index.html

Abstract
--------
This paper gives two distinct proofs of an exponential
separation between regular resolution and unrestricted
resolution.   The previous best known separation between
these systems was quasi-polynomial.