@misc{indiciae37ffac5c6cb9,
  title = {Analysis and Transformation of Constrained Horn Clauses for Program Verification},
  author = {Emanuele De Angelis and Fabio Fioravanti and John P. Gallagher and Manuel V. Hermenegildo and Alberto Pettorossi and Maurizio Proietti},
  year = {2021},
  url = {https://arxiv.org/abs/2108.00739},
  note = {Source identifier: 2108.00739}
}