Nebras Nassar, Jens Kosiol, Thorsten Arendt, Gabriele Taentzer. Constructing Optimized Validity-Preserving Application Conditions for Graph Transformation Rules. In Esther Guerra, Fernando Orejas, editors, Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings. Volume 11629 of Lecture Notes in Computer Science, pages 177-194, Springer, 2019. [doi]
Abstract is missing.