Propositional proof complexity: Past, present, and future (1998)

by Paul Beame, Toniann Pitassi
Venue:In Bulletin of the EATCS