Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró. Incremental backward change propagation of view models by logic solvers. In Benoit Baudry, Benoît Combemale, editors, Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016. pages 306-316, ACM, 2016. [doi]
Abstract is missing.