Width and size of regular resolution proofs
  This paper discusses the topic of the minimum width of a regular resolution refutation of a set of clauses. The main result shows that there are examples having small regular resolution refutations, for which any regular refutation must contain a large clause. This forms a contrast with corresponding results for general resolution refutations. 
Alasdair Urquhart (University of Toronto)
cs.CC math.LO