Sassone, V.; Sobocinski, P. Congruences for Contextual Graph-Rewriting. BRICS 2004, 11.