# Solving constrained Horn clauses modulo algebraic data types and recursive functions

> Research article (Proceedings of the ACM on Programming Languages, 2022) · cited 26× · AI/ML

**Wikidata**: [openalex:W4206670752](https://www.wikidata.org/wiki/openalex:W4206670752)  
**Source**: https://4ort.xyz/entity/solving-constrained-horn-clauses-modulo-algebraic-data-types-and-recursive-functions