TY  - RPRT
TI  - Analysis and Transformation of Constrained Horn Clauses for Program Verification
AU  - Emanuele De Angelis
AU  - Fabio Fioravanti
AU  - John P. Gallagher
AU  - Manuel V. Hermenegildo
AU  - Alberto Pettorossi
AU  - Maurizio Proietti
PY  - 2021
UR  - https://arxiv.org/abs/2108.00739
ID  - 2108.00739
ER  -