@misc{indiciae0516507452c4,
  title = {Monotone 3-Sat-4 is NP-complete},
  author = {Andreas Darmann and Janosch Döcker},
  year = {2016},
  url = {https://arxiv.org/abs/1603.07881},
  note = {Source identifier: 1603.07881}
}