@misc{indiciaef93f555ef1e3,
  title = {Horn Clauses as an Intermediate Representation for Program Analysis and Transformation},
  author = {Graeme Gange and Jorge A. Navas and Peter Schachte and Harald Sondergaard and Peter J. Stuckey},
  year = {2015},
  doi = {10.1017/s1471068415000204},
  url = {https://arxiv.org/abs/1507.05762},
  note = {Source identifier: 1507.05762}
}