@misc{indiciae06a3e88a22e4,
  title = {Unbounded Software Model Checking with Incremental SAT-Solving},
  author = {Marko Kleine Büning and Tomas Balyo and Carsten Sinz},
  year = {2018},
  url = {https://arxiv.org/abs/1802.04174},
  note = {Source identifier: 1802.04174}
}