TY  - RPRT
TI  - Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates
AU  - Emanuele De Angelis
AU  - Fabio Fioravanti
AU  - Alberto Pettorossi
AU  - Maurizio Proietti
PY  - 2020
DO  - 10.1007/978-3-030-51074-9_6
UR  - https://arxiv.org/abs/2004.07749
ID  - 2004.07749
ER  -