Juan Luis Esteban, Jacobo Torán. A Combinatorial Characterization of Treelike Resolution Space. Electronic Colloquium on Computational Complexity (ECCC), (044), 2003. [doi]
@article{ECCC-TR03-044,
title = {A Combinatorial Characterization of Treelike Resolution Space},
author = {Juan Luis Esteban and Jacobo Torán},
year = {2003},
url = {http://eccc.hpi-web.de/eccc-reports/2003/TR03-044/index.html},
researchr = {https://researchr.org/publication/ECCC-TR03-044},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
number = {044},
}