@misc{indiciae12c780100bcb,
  title = {Unsatisfiable hitting clause-sets with three more clauses than variables},
  author = {Oliver Kullmann and Xishun Zhao},
  year = {2016},
  url = {https://arxiv.org/abs/1604.01288},
  note = {Source identifier: 1604.01288}
}