@misc{indiciae45b6aaf2801b,
  title = {On variables with few occurrences in conjunctive normal forms},
  author = {Oliver Kullmann and Xishun Zhao},
  year = {2011},
  doi = {10.1007/978-3-642-21581-0\_5},
  url = {https://arxiv.org/abs/1010.5756},
  note = {Source identifier: 1010.5756}
}