Confluence for Graph Transformations. - N. Lafaye de Micheaux; C. Rambau (Theor. Comput. Sci., 1996)