Integration of Graph Constraints into Graph Grammars. - Annegret Habel; Christian Sandmann; Tilman Teusch (Graph Transformation, Specifications, and Nets, 2018)