TY  - RPRT
TI  - Width and size of regular resolution proofs
AU  - Alasdair Urquhart
PY  - 2012
DO  - 10.2168/lmcs-8(2:8)2012
UR  - https://arxiv.org/abs/1205.1050
ID  - 1205.1050
ER  -