Solving constrained Horn clauses over algebraic data types. (English) Zbl 1529.68167
Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 341-365 (2023).