Hans Kleine Büning, Xishun Zhao. The Complexity of Read-Once Resolution. Annals of Mathematics and Artificial Intelligence, 36(4):419-435, 2002.
@article{BuningZ02, title = {The Complexity of Read-Once Resolution}, author = {Hans Kleine Büning and Xishun Zhao}, year = {2002}, researchr = {https://researchr.org/publication/BuningZ02}, cites = {0}, citedby = {0}, journal = {Annals of Mathematics and Artificial Intelligence}, volume = {36}, number = {4}, pages = {419-435}, }