The Complexity of Read-Once Resolution

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},
}