Contains the keyword logic properties of graphs and transformations
Model Checking Graph Transformations: A Comparison of Two Approaches. In: Proc. ICGT 2004: Second International Conference on Graph Transformation. Vol 3256. Rome, Italy: Springer; 2004. p. 226-41. (LNCS; vol 3256). Abstract
