Alexander Hertel, Alasdair Urquhart. The Resolution Width Problem is EXPTIME-Complete. Electronic Colloquium on Computational Complexity (ECCC), 13(133), 2006. [doi]
@article{HertelU06,
title = {The Resolution Width Problem is EXPTIME-Complete},
author = {Alexander Hertel and Alasdair Urquhart},
year = {2006},
url = {http://eccc.hpi-web.de/eccc-reports/2006/TR06-133/index.html},
tags = {completeness},
researchr = {https://researchr.org/publication/HertelU06},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {13},
number = {133},
}