Efficient Graph Rewriting And Its Implementation by Heiko D¿rr & Heiko Dorr