Heiko Dörr

1962

• Efficient graph rewriting and its implementation