Width and size of regular resolution proofs (Logical Methods in Computer Science, 2012)