@misc{indiciae31657a458837,
  title = {Abstracting Path Conditions},
  author = {Jan Strejček and Marek Trtík},
  year = {2016},
  url = {https://arxiv.org/abs/1112.5671},
  note = {Source identifier: 1112.5671}
}