Shifting derivations of non-injective rules in the algebraic graph rewriting approaches. - Mueller, Jürgen (Forschungsberichte des Fachbereichs Informatik, 1997)