@misc{indiciae5185ae27da8f,
  title = {An iterative approach to precondition inference using constrained Horn clauses},
  author = {Bishoksan Kafle and John P. Gallagher and Graeme Gange and Peter Schachte and Harald Sondergaard and Peter J. Stuckey},
  year = {2018},
  url = {https://arxiv.org/abs/1804.05989},
  note = {Source identifier: 1804.05989}
}