Endorsed by
ACM SIGACT

Articles by Michael Alekhnovich

Volume 3, Article 5 (pages 81-102)
An Exponential Separation between Regular and General Resolution
by Michael Alekhnovich, Jan Johannsen, Toniann Pitassi, and Alasdair Urquhart