# Solving Horn Clauses on Inductive Data Types Without Induction

> Research article (Theory and Practice of Logic Programming, 2018) · cited 28× · AI/ML

**Wikidata**: [openalex:W2798666859](https://www.wikidata.org/wiki/openalex:W2798666859)  
**Source**: https://4ort.xyz/entity/solving-horn-clauses-on-inductive-data-types-without-induction