Short Proofs are Narrow - Resolution Made Simple.

Eli Ben-Sasson, Avi Wigderson

Browse the full STOC paper archive.