An Efficient Implementation of Graph Grammars Based on the RETE Matching Algorithm. - Horst Bunke; Thomas Glauser; T.-H. Tran (Graph-Grammars and Their Application to Computer Science, 1990)