%0 Journal Article %1 journals/logcom/AngelisFPP22 %A Angelis, Emanuele De %A Fioravanti, Fabio %A Pettorossi, Alberto %A Proietti, Maurizio %D 2022 %J J. Log. Comput. %K dblp %N 2 %P 402-442 %T Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach. %U http://dblp.uni-trier.de/db/journals/logcom/logcom32.html#AngelisFPP22 %V 32

@article{journals/logcom/AngelisFPP22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Angelis, Emanuele De and Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio}, biburl = {https://www.bibsonomy.org/bibtex/253115628c3f0d8ad8e60b11c287b3eeb/dblp}, ee = {https://doi.org/10.1093/logcom/exab090}, interhash = {675ea9c075ea4fc97b575a00916f38d3}, intrahash = {53115628c3f0d8ad8e60b11c287b3eeb}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 2, pages = {402-442}, timestamp = {2024-04-09T05:12:26.000+0200}, title = {Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom32.html#AngelisFPP22}, volume = 32, year = 2022 }