@misc{indiciaeb5b450115759,
  title = {On the computational complexity of read once resolution decidability in 2CNF formulas},
  author = {Hans Kleine Büning and Piotr Wojciechowski and K. Subramani},
  year = {2016},
  url = {https://arxiv.org/abs/1610.04523},
  note = {Source identifier: 1610.04523}
}