The following publications are possibly variants of this publication:
- An Exponential Separation between Regular and General ResolutionMichael Alekhnovich, Jan Johannsen, Toniann Pitassi, Alasdair Urquhart. toc, 3(1):81-102, 2007. [doi]
- An Exponential Separation between Regular and General ResolutionMichael Alekhnovich, Jan Johannsen, Toniann Pitassi, Alasdair Urquhart. eccc, 8(056), 2001. [doi]
- Simplified and Improved Separations Between Regular and General Resolution by LiftingMarc Vinyals, Jan Elffers, Jan Johannsen, Jakob Nordström. sat 2020: 182-200 [doi]
- Regular and General Resolution: An Improved SeparationAlasdair Urquhart. sat 2008: 277-290 [doi]
- A Near-Optimal Separation of Regular and General ResolutionAlasdair Urquhart. SICOMP, 40(1):107-121, 2011. [doi]
- Exponential Separations between Restricted Resolution and Cutting Planes Proof SystemsMaria Luisa Bonet, Juan Luis Esteban, Nicola Galesi, Jan Johannsen. eccc, 5(35), 1998. [doi]
- Exponential Separations between Restricted Resolution and Cutting Planes Proof SystemsMaria Luisa Bonet, Juan Luis Esteban, Nicola Galesi, Jan Johannsen. focs 1998: 638-647 [doi]