Alasdair Urquhart Width Versus Size in Resolution Proofs. 79-88 2006 conf/tamc/2006 TAMC http://dx.doi.org/10.1007/11750321_6 db/conf/tamc/tamc2006.html#Urquhart06