Alexander Hertel Alasdair Urquhart Comments on ECCC Report TR06-133: The Resolution Width Problem is EXPTIME-Complete. 3 2009 16 Electronic Colloquium on Computational Complexity (ECCC) http://eccc.hpi-web.de/report/2009/003 db/journals/eccc/eccc16.html#HertelU09