@book(baader2003description,
 author       = {Franz Baader and Diego Calvanese and Deborah McGuinness and Patel-Schneider, Peter and Daniele Nardi},
 year         = {2003},
 title        = {The Description Logic handbook: theory, implementation and applications},
 publisher    = {Cambridge University Press},
)
@inproceedings(barmpis2015towards,
 author       = {Konstantinos Barmpis and Seyyed Shah and Dimitrios S. Kolovos},
 year         = {2015},
 title        = {Towards incremental updates in large-scale model indexes},
 booktitle    = {Modelling Foundations and Applications (ECMFA)},
 organization = {Springer, Cham},
 pages        = {137--153},
 doi          = {10.1007/978-3-319-21151-0\_10},
)
@article(behr2019sesqui,
 author       = {Nicolas Behr},
 year         = {2019},
 title        = {Sesqui-pushout rewriting: concurrency, associativity and rule algebra framework},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {309},
 pages        = {23–52},
 doi          = {10.4204/eptcs.309.2},
)
@inproceedings(bonifati2019schema,
 author       = {Angela Bonifati and Peter Furniss and Alastair Green and Russ Harmer and Eugenia Oshurko and Hannes Voigt},
 year         = {2019},
 title        = {Schema validation and evolution for graph databases},
 booktitle    = {Conceptual Modeling (ER)},
 organization = {Springer, Cham},
 pages        = {448--456},
 doi          = {10.1007/978-3-030-33223-5\_37},
)
@inproceedings(castelltort2013representing,
 author       = {Arnaud Castelltort and Anne Laurent},
 year         = {2013},
 title        = {Representing history in graph-oriented NoSQL databases: a versioning system},
 booktitle    = {Digital Information Management (ICDIM)},
 organization = {IEEE},
 pages        = {228--234},
 doi          = {10.1109/ICDIM.2013.6694022},
)
@article(chen1976entity,
 author       = {Peter Pin-Shan Chen},
 year         = {1976},
 title        = {The entity-relationship model---toward a unified view of data},
 journal      = {ACM Transactions on Database Systems (TODS)},
 volume       = {1},
 number       = {1},
 pages        = {9--36},
 doi          = {10.1145/320434.320440},
)
@incollection(corradini2006sesqui,
 author       = {Andrea Corradini and Tobias Heindel and Frank Hermann and Barbara K{\"o}nig},
 year         = {2006},
 title        = {Sesqui-pushout rewriting},
 booktitle    = {Graph Transformations (ICGT)},
 publisher    = {Springer, Berlin, Heidelberg},
 pages        = {30--45},
 doi          = {10.1007/11841883\_4},
)
@incollection(corradini1997algebraic,
 author       = {Andrea Corradini and Ugo Montanari and Francesca Rossi and Hartmut Ehrig and Reiko Heckel and Michael L{\"o}we},
 year         = {1997},
 title        = {Algebraic approaches to graph transformation--part I: basic concepts and double pushout approach},
 booktitle    = {Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 1: Foundations},
 publisher    = {World Scientific},
 pages        = {163--245},
 doi          = {10.1142/9789812384720\_0003},
)
@inproceedings(danos2014reversible,
 author       = {Vincent Danos and Tobias Heindel and Honorato-Zimmer, Ricardo and Sandro Stucki},
 year         = {2014},
 title        = {Reversible sesqui-pushout rewriting},
 booktitle    = {Graph Transformation (ICGT)},
 organization = {Springer, Cham},
 pages        = {161--176},
 doi          = {10.1007/978-3-319-09108-2\_11},
)
@article(dyckhoff1987exponentiable,
 author       = {Roy Dyckhoff and Walter Tholen},
 year         = {1987},
 title        = {Exponentiable morphisms, partial products and pullback complements},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {49},
 number       = {1-2},
 pages        = {103--116},
 doi          = {10.1016/0022-4049(87)90124-1},
)
@inproceedings(ehrig2011formal,
 author       = {Hartmut Ehrig and Claudia Ermel and Gabriele Taentzer},
 year         = {2011},
 title        = {A formal resolution strategy for operation-based conflicts in model versioning using graph modifications},
 booktitle    = {Fundamental Approaches to Software Engineering (FASE)},
 organization = {Springer, Berlin, Heidelberg},
 pages        = {202--216},
 doi          = {10.1007/978-3-642-19811-3\_15},
)
@article(ehrig1991parallelism,
 author       = {Hartmut Ehrig and Annegret Habel and Hans-J{\"o}rg Kreowski and Parisi-Presicce, Francesco},
 year         = {1991},
 title        = {Parallelism and concurrency in high-level replacement systems},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {1},
 number       = {3},
 pages        = {361--404},
 doi          = {10.1017/S0960129500001353},
)
@inproceedings(francis2018cypher,
 author       = {Nadime Francis and Alastair Green and Paolo Guagliardo and Leonid Libkin and Tobias Lindaaker and Victor Marsault and Stefan Plantikow and Mats Rydberg and Petra Selmer and Andr{\'e}s Taylor},
 year         = {2018},
 title        = {Cypher: An evolving query language for property graphs},
 booktitle    = {Management of Data (SIGMOD)},
 organization = {ACM},
 pages        = {1433--1445},
 doi          = {10.1145/3183713.3190657},
)
@phdthesis(harmer2017hdr,
 author       = {Russ Harmer},
 year         = {2017},
 title        = {Rule-based meta-modelling for bio-curation},
 type         = {Habilitation \`a {D}iriger des {R}echerches},
 school       = {ENS Lyon, France},
 url          = {https://tel.archives-ouvertes.fr/tel-01534703/},
)
@article(harmer2019bio,
 author       = {Russ Harmer and Le Cornec, Yves-Stan and S{\'e}bastien L{\'e}gar{\'e} and Eugenia Oshurko},
 year         = {2019},
 title        = {Bio-curation for cellular signalling: the KAMI project},
 journal      = {IEEE/ACM transactions on computational biology and bioinformatics},
 volume       = {16},
 number       = {5},
 pages        = {1562--1573},
 doi          = {10.1109/TCBB.2019.2906164},
)
@article(harmer2020knowledge,
 author       = {Russ Harmer and Eugenia Oshurko},
 year         = {2020},
 title        = {Knowledge representation and update in hierarchies of graphs},
 journal      = {Journal of Logical and Algebraic Methods in Programming},
 volume       = {114, 100559},
 doi          = {10.1016/j.jlamp.2020.100559},
)
@inproceedings(khurana2013efficient,
 author       = {Udayan Khurana and Amol Deshpande},
 year         = {2013},
 title        = {Efficient snapshot retrieval over historical graph data},
 booktitle    = {Data Engineering (ICDE)},
 organization = {IEEE},
 pages        = {997--1008},
 doi          = {10.1109/ICDE.2013.6544892},
)
@inproceedings(lack2004adhesive,
 author       = {Stephen Lack and Pawel Sobocinski},
 year         = {2004},
 title        = {Adhesive categories},
 booktitle    = {Foundations of Software Science and Computation Structures (FoSSaCS)},
 organization = {Springer, Berlin, Heidelberg},
 pages        = {273--288},
 doi          = {10.1007/978-3-540-24727-2\_20},
)
@article(lack2005adhesive,
 author       = {Stephen Lack and Pawe{\l} Soboci{\'n}ski},
 year         = {2005},
 title        = {Adhesive and quasiadhesive categories},
 journal      = {RAIRO-Theoretical Informatics and Applications},
 volume       = {39},
 number       = {3},
 pages        = {511--545},
 doi          = {10.1051/ita:2005028},
)
@inproceedings(leifer2000deriving,
 author       = {James J. Leifer and Robin Milner},
 year         = {2000},
 title        = {Deriving bisimulation congruences for reactive systems},
 booktitle    = {Concurrency Theory (Concur)},
 organization = {Springer, Berlin, Heidelberg},
 pages        = {243--258},
 doi          = {10.1007/3-540-44618-4\_19},
)
@inproceedings(lowe2015polymorphic,
 author       = {Michael L{\"o}we},
 year         = {2015},
 title        = {Polymorphic sesqui-pushout graph rewriting},
 booktitle    = {Graph Transformation (ICGT)},
 organization = {Springer, Cham},
 pages        = {3--18},
 doi          = {10.1007/978-3-319-21145-9\_1},
)
@phdthesis(oshurko2020,
 author       = {Eugenia Oshurko},
 year         = {2020},
 title        = {Knowledge representation and curation in hierarchies of graphs},
 type         = {Ph{D} thesis},
 school       = {Universit\'e de Lyon},
 url          = {https://tel.archives-ouvertes.fr/tel-02917559},
)
@article(salzberg1999comparison,
 author       = {Betty Salzberg and Vassilis J. Tsotras},
 year         = {1999},
 title        = {Comparison of access methods for time-evolving data},
 journal      = {ACM Computing Surveys (CSUR)},
 volume       = {31},
 number       = {2},
 pages        = {158--221},
 doi          = {10.1145/319806.319816},
)
@inproceedings(schneider2004coobra,
 author       = {Christian Schneider and Albert Z{\"u}ndorf and J{\"o}rg Niere},
 year         = {2004},
 title        = {CoObRA--a small step for development tools to collaborative environments},
 booktitle    = {Workshop on Directions in Software Engineering Environments (WoDiSEE)},
 organization = {IET},
 doi          = {10.1049/ic:20040206},
)
@inproceedings(taentzer2010conflict,
 author       = {Gabriele Taentzer and Claudia Ermel and Philip Langer and Manuel Wimmer},
 year         = {2010},
 title        = {Conflict detection for model versioning based on graph modifications},
 booktitle    = {Graph Transformation (ICGT)},
 organization = {Springer, Berlin, Heidelberg},
 pages        = {171--186},
 doi          = {10.1007/978-3-642-15928-2\_12},
)