Theory of Computing
-------------------
Title     : An Exponential Separation between Regular and General Resolution
Authors   : Michael Alekhnovich, Jan Johannsen, Toniann Pitassi, and Alasdair Urquhart
Volume    : 3
Number    : 5
Pages     : 81-102
URL       : https://theoryofcomputing.org/articles/v003a005

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.