# Property-Directed Inference of Universal Invariants or Proving Their Absence

> Research article (Journal of the ACM, 2017) · cited 41× · AI/ML

**Wikidata**: [openalex:W2603705845](https://www.wikidata.org/wiki/openalex:W2603705845)  
**Source**: https://4ort.xyz/entity/property-directed-inference-of-universal-invariants-or-proving-their-absence