# Guiding Craig interpolation with domain-specific abstractions

> Research article (Acta Informatica, 2015) · cited 21× · AI/ML

**Wikidata**: [openalex:W595779784](https://www.wikidata.org/wiki/openalex:W595779784)  
**Source**: https://4ort.xyz/entity/guiding-craig-interpolation-with-domain-specific-abstractions