S. Ahmetaj, D. Calvanese, M. Ortiz, and M. Simkus, Managing change in graphstructured data using description logics, Proceedings of the Twenty-Eighth AAAI Conference on Articial Intelligence, p.966973, 2014.

C. Areces, P. Blackburn, and M. Marx, Abstract, The Journal of Symbolic Logic, vol.XLI, issue.03, p.9771010, 2001.
DOI : 10.1093/jigpal/8.5.653

F. Baader, D. Calvanese, D. L. Mcguinness, D. Nardi, and P. F. Patel-schneider, The Description Logic Handbook: Theory, Implementation, and Applications, 2003.
DOI : 10.1017/CBO9780511711787

P. Balbiani, R. Echahed, and A. Herzig, A Dynamic Logic for Termgraph Rewriting
DOI : 10.1007/978-3-642-15928-2_5
URL : https://hal.archives-ouvertes.fr/hal-00940868

L. Baresi and P. Spoletini, Procs. of ICGT 2006, chapter On the Use of Alloy to Analyze Graph Transformation Systems, p.306320, 2006.

J. H. Brenas, R. Echahed, and M. Strecker, On the closure of description logics under substitutions, Proceedings of the 29th International Workshop on Description Logics, Cape Town, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01403216

J. H. Brenas, R. Echahed, and M. Strecker, Proving correctness of logically decorated graph rewriting systems, 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, p.1415, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01403183

E. Börger, E. Grädel, and Y. Gurevich, The classical decision problem, 2000.
DOI : 10.1007/978-3-642-59207-2

A. Corradini, T. Heindel, F. Hermann, and B. König, Sesqui-Pushout Rewriting, Graph Transformations, p.3045, 2006.
DOI : 10.1007/11841883_4

B. Courcelle, The monadic second-order logic of graphs. i. recognizable sets of nite graphs, Inf. Comput, vol.85, issue.1, p.1275, 1990.
URL : https://hal.archives-ouvertes.fr/hal-00353765

L. M. De-moura and N. Bjørner, Z3: an ecient SMT solver, Procs. of TACAS, p.337340, 2008.

R. Echahed, Inductively Sequential Term-Graph Rewrite Systems, 4th International Conference on Graph Transformations, ICGT, p.8498, 2008.
DOI : 10.1007/978-3-540-87405-8_7

A. H. Ghamarian, M. De-mol, A. Rensink, E. Zambon, and M. Zimakova, Modelling and analysis using GROOVE, International Journal on Software Tools for Technology Transfer, vol.10, issue.2, p.1540, 2012.
DOI : 10.1007/s10009-011-0186-x

E. Grädel, M. Otto, and E. Rosen, Two-variable logic with counting is decidable, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science, 1997.
DOI : 10.1109/LICS.1997.614957

A. Habel and K. Pennemann, Correctness of high-level transformation systems relative to nested conditions, Mathematical Structures in Computer Science, vol.3256, issue.02, p.245296, 2009.
DOI : 10.1016/S1571-0661(05)80188-4

S. Itzhaky, A. Banerjee, N. Immerman, A. Nanevski, and M. Sagiv, Eectivelypropositional reasoning about reachability in linked data structures, Procs of CAV 2013, p.756772, 2013.

D. Jackson, Software Abstractions, 2011.

K. R. Leino, Dafny: An Automatic Program Verifier for Functional Correctness
DOI : 10.1007/978-3-642-17511-4_20

R. Piskac, L. M. De-moura, and N. Bjørner, Deciding eectively propositional logic using DPLL and substitution sets, J. Autom. Reasoning, vol.44, issue.4, p.401424, 2010.
DOI : 10.1007/s10817-009-9161-6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.4794

C. M. Poskitt and D. Plump, A Hoare Calculus for Graph Programs, Procs. of ICGT 2010, p.139154, 2010.
DOI : 10.1007/978-3-642-15928-2_10

C. M. Poskitt and D. Plump, Verifying Monadic Second-Order Properties of Graph Programs, Procs. of ICGT 2014, p.3348, 2014.
DOI : 10.1007/978-3-319-09108-2_3

J. C. Reynolds, An Overview of Separation Logic, Veried Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005 Revised Selected Papers and Discussions, p.460469, 2005.
DOI : 10.1007/3-540-45332-6_7

O. Semeráth, Á. Barta, Z. Szatmári, Á. Horváth, and D. Varró, Formal validation of domain-specic languages with derived features and well-formedness constraints, International Journal on Software and Systems Modeling, p.7, 2015.

J. Tschannen, C. A. Furia, M. Nordio, and N. Polikarpova, chapter AutoProof: Auto-Active Functional Verication of Object-Oriented Programs, p.566580, 2015.

D. Varró, Automated formal verication of visual modeling languages by model checking. Software and System Modeling, p.85113, 2004.