# A Logic for Locally Complete Abstract Interpretations

> Research article (2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021) · cited 34× · AI/ML

**Wikidata**: [openalex:W3175673396](https://www.wikidata.org/wiki/openalex:W3175673396)  
**Source**: https://4ort.xyz/entity/a-logic-for-locally-complete-abstract-interpretations