Church-Rosser properties for graph replacement systems with unique splitting.

Hartmut Ehrig John Staples Church-Rosser properties for graph replacement systems with unique splitting. 82-101 1982 conf/gg/1982 Graph-Grammars and Their Application to Computer Science db/conf/gg/gg1982.html#EhrigS82