@misc{indiciae6fde18b58a39,
  title = {Generalising unit-refutation completeness and SLUR via nested input resolution},
  author = {Matthew Gwynne and Oliver Kullmann},
  year = {2013},
  doi = {10.1007/s10817-013-9275-8},
  url = {https://arxiv.org/abs/1204.6529},
  note = {Source identifier: 1204.6529}
}