Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates.

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti

Browse the full CADE paper archive.