Michael Löwe. Sesqui-Pushout Rewriting with Type Refinements. In Rachid Echahed, Mark Minas, editors, Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings. Volume 9761 of Lecture Notes in Computer Science, pages 21-36, Springer, 2016. [doi]
Abstract is missing.