A Strategy Language for Graph Rewriting

Slides referencing similar topics