Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. Verifying Relational Program Properties by Transforming Constrained Horn clauses. In Camillo Fiorentini, Alberto Momigliano, editors, Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016. Volume 1645 of CEUR Workshop Proceedings, pages 69-85, CEUR-WS.org, 2016. [doi]
Abstract is missing.