"Nested Quantification in Graph Transformation Rules."

Arend Rensink (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics