Jan Johannsen. The Complexity of Pure Literal Elimination. Journal of Automated Reasoning, 35(1-3):89-95, 2005. [doi]
@article{Johannsen05, title = {The Complexity of Pure Literal Elimination}, author = {Jan Johannsen}, year = {2005}, doi = {10.1007/s10817-005-9008-8}, url = {http://dx.doi.org/10.1007/s10817-005-9008-8}, researchr = {https://researchr.org/publication/Johannsen05}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {35}, number = {1-3}, pages = {89-95}, }