Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas. Embedding and Confluence of Graph Transformations with Negative Application Conditions. In Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer, editors, Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings. Volume 5214 of Lecture Notes in Computer Science, pages 162-177, Springer, 2008. [doi]
Abstract is missing.