1. The expression of graph properties and graph transformations in monadic second-order logic;Courcelle,1997
2. A spatial logic for querying graphs;Cardelli,2002
3. Correctness of high-level transformation systems relative to nested conditions;Habel;Math. Struct. Comput. Sci.,2009
4. Development of Correct Graph Transformation Systems;Pennemann,2009
5. Implementing the model evolution calculus;Baumgartner;Int. J. Artif. Intell. Tools,2006