On a Dynamic Logic for Graph Rewriting. - Mathias Winckel; Ralph Matthes (ICTERI, 2013)