@inproceedings(Bergmann14a,
 author       = {G{\'{a}}bor Bergmann},
 year         = {2014},
 title        = {Translating {OCL} to Graph Patterns},
 booktitle    = {Model-Driven Engineering Languages and Systems ({MODELS} 2014)},
 series       = {LNCS},
 pages        = {670--686},
 doi          = {10.1007/978-3-319-11653-2\_41},
)
@article(Biermann-Ermel-Taetzer12a,
 author       = {Enrico Biermann and Claudia Ermel and Gabriele Taentzer},
 year         = {2012},
 title        = {Formal foundation of consistent EMF model transformations by algebraic graph transformation},
 journal      = {Software and System Modeling},
 volume       = {11},
 number       = {2},
 pages        = {227--250},
 doi          = {10.1007/s10270-011-0199-7},
)
@inproceedings(Cheng-etal18a,
 author       = {Yurong Cheng and Lei Chen and Ye Yuan and Guoren Wang},
 year         = {2018},
 title        = {Rule-Based Graph Repairing: Semantic and Efficient Repairing Methods},
 booktitle    = {34th {IEEE} International Conference on Data Engineering, {ICDE} 2018,},
 pages        = {773--784},
 doi          = {10.1109/ICDE.2018.00075},
)
@book(Ehrig-Ehrig-Prange-Taentzer06b,
 author       = {Hartmut Ehrig and Karsten Ehrig and Ulrike Prange and Gabriele Taentzer},
 year         = {2006},
 title        = {Fundamentals of Algebraic Graph Transformation},
 series       = {EATCS Monographs of Theoretical Computer Science},
 publisher    = {Springer},
)
@book(Ehrig-etal15a,
 author       = {Hartmut Ehrig and Claudia Ermel and Ulrike Golas and Frank Hermann},
 year         = {2015},
 title        = {Graph and Model Transformation - General Framework and Applications},
 series       = {Monographs in Theoretical Computer Science},
 publisher    = {Springer},
 doi          = {10.1007/978-3-662-47980-3},
)
@article(Habel-Pennemann09a,
 author       = {Annegret Habel and Karl-Heinz Pennemann},
 year         = {2009},
 title        = {Correctness of High-Level Transformation Systems Relative to Nested Conditions},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {19},
 pages        = {245--296},
 doi          = {10.1017/S0960129500001353},
)
@inproceedings(Habel-Plump01a,
 author       = {Annegret Habel and Detlef Plump},
 year         = {2001},
 title        = {Computational Completeness of Programming Languages Based on Graph Transformation},
 booktitle    = {Foundations of Software Science and Computation Structures (FOSSACS 2001)},
 series       = {Lecture Notes in Computer Science},
 volume       = {2030},
 pages        = {230--245},
 doi          = {10.1007/BFb0017401},
)
@inproceedings(Habel-Sandmann18a,
 author       = {Annegret Habel and Christian Sandmann},
 year         = {2018},
 title        = {Graph Repair by Graph Programs},
 booktitle    = {Graph Computation Models ({GCM} 2018)},
 series       = {Lecture Notes in Computer Science},
 volume       = {11176},
 pages        = {431--446},
 doi          = {10.1007/s10009-018-0496-3},
)
@article(Loewe93a,
 author       = {Michael L{\"o}we},
 year         = {1993},
 title        = {Algebraic Approach to Single-Pushout Graph Transformation},
 journal      = {Theoretical Computer Science},
 volume       = {109},
 pages        = {181--224},
 doi          = {10.1016/0304-3975(93)90068-5},
)
@article(Macedo-etal17a,
 author       = {Nuno Macedo and Jorge Tiago and Alcino Cunha},
 year         = {2017},
 title        = {A Feature-Based Classification of Model Repair Approaches},
 journal      = {{IEEE} Trans. Software Eng.},
 volume       = {43},
 number       = {7},
 pages        = {615--640},
 doi          = {10.1109/TSE.2016.2620145},
)
@inproceedings(Nebras-etal17a,
 author       = {Nebras Nassar and Hendrik Radke and Thorsten Arendt},
 year         = {2017},
 title        = {Rule-Based Repair of {EMF} Models: An Automated Interactive Approach},
 booktitle    = {Theory and Practice of Model Transformation ({ICMT} 2017)},
 series       = {Lecture Notes in Computer Science},
 volume       = {10374},
 pages        = {171--181},
 doi          = {10.1007/978-3-319-21145-9\_10},
)
@inproceedings(Nentwich-etal03a,
 author       = {Christian Nentwich and Wolfgang Emmerich and Anthony Finkelstein},
 year         = {2003},
 title        = {Consistency Management with Repair Actions},
 booktitle    = {Software Engineering},
 publisher    = {{IEEE} Computer Society},
 pages        = {455--464},
 doi          = {10.1109/ICSE.2003.1201223},
)
@misc(web:OCL24,
 author       = {OMG},
 title        = {{Object Constraint Language}},
 howpublished = {{\url{https://www.omg.org/spec/OCL/}}},
)
@phdthesis(Pennemann09a,
 author       = {Karl-Heinz Pennemann},
 year         = {2009},
 title        = {Development of Correct Graph Transformation Systems},
 school       = {Universit\"at Oldenburg},
)
@inproceedings(Plump05a,
 author       = {Detlef Plump},
 year         = {2005},
 title        = {Confluence of Graph Transformation Revisited},
 booktitle    = {Processes, Terms and Cycles: Steps on the Road to Infinity},
 series       = {Lecture Notes in Computer Science},
 volume       = {3838},
 pages        = {280--308},
 doi          = {10.1007/BF00289616},
)
@article(Radke+18a,
 author       = {Hendrik Radke and Thorsten Arendt and Jan Steffen Becker and Annegret Habel and Grabriele Taentzer},
 year         = {2018},
 title        = {Translating Essential {OCL} Invariants to Nested Graph Constraints for Generating nstances of Meta-models},
 journal      = {Science of Computer Programming},
 volume       = {152},
 pages        = {38--62},
 doi          = {10.1016/j.scico.2017.08.006},
)
@inproceedings(Schneider-etal19a,
 author       = {Sven Schneider and Leen Lambers and Fernando Orejas},
 year         = {2019},
 title        = {A Logic-Based Incremental Approach to Graph Repair},
 booktitle    = {Fundamental Approaches to Software Engineering - ({FASE} 2019)},
 series       = {Lecture Notes in Computer Science},
 volume       = {11424},
 pages        = {151--167},
 doi          = {10.1007/978-3-662-54494-5\_16},
)
@inproceedings(Schuerr94b,
 author       = {Andy Sch{\"{u}}rr},
 year         = {1994},
 title        = {Specification of Graph Translators with Triple Graph Grammars},
 booktitle    = {Graph-Theoretic Concepts in Computer Science, 20th International Workshop, {WG} '94, Herrsching, Germany, June 16-18, 1994, Proceedings},
 pages        = {151--163},
 url          = {https://doi.org/10.1007/3-540-59071-4\_45},
)
@inproceedings(Taentzer-etal17a,
 author       = {Gabriele Taentzer and Manuel Ohrndorf and Yngve Lamo and Adrian Rutle},
 year         = {2017},
 title        = {Change-Preserving Model Repair},
 booktitle    = {Fundamental Approaches to Software Engineering ({ETAPS} 2017)},
 series       = {Lecture Notes in Computer Science},
 volume       = {10202},
 pages        = {283--299},
 doi          = {10.1007/11880240\_15},
)