Graph Constraint Evaluation over Partial Models by Constraint Rewriting - Semeráth, Oszkár; Varró, Dániel (Theory and Practice of Model Transformation, 2017)