The following publications are possibly variants of this publication:
- Verification of Time-Aware Business Processes Using Constrained Horn ClausesEmanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti. LOPSTR 2017: 38-55 [doi]
- Analysis and Transformation of Constrained Horn Clauses for Program VerificationEmanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti. tplp, 22(6):974-1042, 2022. [doi]
- Verifying Relational Program Properties by Transforming Constrained Horn clausesEmanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. cilc 2016: 69-85 [doi]