Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach
From MaRDI portal
Publication:5862477
DOI10.1093/logcom/exab090OpenAlexW4206579693MaRDI QIDQ5862477
Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, Emanuele De Angelis
Publication date: 9 March 2022
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2111.11819
Related Items (3)
This page was built for publication: Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach