# $$\hbox {OCL}_\textsf {FO}$$ OCL FO : first-order expressive OCL constraints for efficient integrity checking

> Research article (Software & Systems Modeling, 2018) · cited 11× · AI/ML

**Wikidata**: [openalex:W2888737347](https://www.wikidata.org/wiki/openalex:W2888737347)  
**Source**: https://4ort.xyz/entity/hbox-ocl-textsf-fo-ocl-fo-first-order-expressive-ocl-constraints-for-efficient-integrity-checking