# A complete logic for Database Abstract State Machines1

> Research article (Logic Journal of IGPL, 2017) · cited 14× · AI/ML

**Wikidata**: [openalex:W2962981453](https://www.wikidata.org/wiki/openalex:W2962981453)  
**Source**: https://4ort.xyz/entity/a-complete-logic-for-database-abstract-state-machines1