# Incremental backward change propagation of view models by logic solvers*

> Research article (Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016) · cited 14× · AI/ML

**Wikidata**: [openalex:W2523983521](https://www.wikidata.org/wiki/openalex:W2523983521)  
**Source**: https://4ort.xyz/entity/incremental-backward-change-propagation-of-view-models-by-logic-solvers