GrGen: A Fast SPO-Based Graph Rewriting Tool. - Rubino Geiß; Gernot Veit Batz; Daniel Grund; Sebastian Hack; Adam Szalkowski (ICGT, 2006)