Michael Alekhnovich, Jan Johannsen, Toniann Pitassi, Alasdair Urquhart. An exponential separation between regular and general resolution. In STOC. pages 448-456, 2002. [doi]
No references recorded for this publication.
No citations of this publication recorded.