Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming
N. Weidmann, A. Anjorin, Formal Aspects of Computing (2021).