Albert Atserias, Maria Luisa Bonet. On the Automatizability of Resolution and Related Propositional Proof Systems. Electronic Colloquium on Computational Complexity (ECCC), (010), 2002. [doi]
@article{ECCC-TR02-010,
title = {On the Automatizability of Resolution and Related Propositional Proof Systems},
author = {Albert Atserias and Maria Luisa Bonet},
year = {2002},
url = {http://eccc.hpi-web.de/eccc-reports/2002/TR02-010/index.html},
researchr = {https://researchr.org/publication/ECCC-TR02-010},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
number = {010},
}