@article(DBLP:journals/iandc/BaldanCK08,
 author       = {Paolo Baldan and Andrea Corradini and Barbara K{\"{o}}nig},
 year         = {2008},
 title        = {A framework for the verification of infinite-state graph transformation systems},
 journal      = {Inf. Comput.},
 volume       = {206},
 number       = {7},
 pages        = {869--907},
 doi          = {10.1016/j.ic.2008.04.002},
)
@inproceedings(DBLP:conf/tagt/BaldanCM98,
 author       = {Paolo Baldan and Andrea Corradini and Ugo Montanari},
 year         = {1998},
 title        = {Unfolding of Double-Pushout Graph Grammars is a Coreflection},
 booktitle    = {{TAGT}},
 series       = {LNCS},
 volume       = {1764},
 publisher    = {Springer},
 pages        = {145--163},
 doi          = {10.1007/978-3-540-46464-8\_11},
)
@article(BaldanCMR07,
 author       = {Paolo Baldan and Andrea Corradini and Ugo Montanari and Leila Ribeiro},
 year         = {2007},
 title        = {Unfolding semantics of graph transformation},
 journal      = {Inf. Comput.},
 volume       = {205},
 number       = {5},
 pages        = {733--782},
 doi          = {10.1016/j.ic.2006.11.004},
)
@incollection(amal,
 author       = {Enrico Biermann and Hartmut Ehrig and Claudia Ermel and Ulrike Golas and Gabriele Taentzer},
 year         = {2010},
 title        = {Parallel independence of amalgamated graph transformations applied to model transformation},
 booktitle    = {Graph transformations and model-driven engineering},
 publisher    = {Springer},
 pages        = {121--140},
 doi          = {10.1007/978-3-642-17322-6\_7},
)
@inproceedings(corradini2019unfolding,
 author       = {Andrea Corradini and Ghaffari Saadat, Maryam and Reiko Heckel},
 year         = {2019},
 title        = {Unfolding Graph Grammars with Negative Application Conditions},
 booktitle    = {ICGT},
 organization = {Springer},
 pages        = {93--110},
 doi          = {10.1007/978-3-030-23611-3\_6},
)
@inproceedings(DBLP:conf/gg/CorradiniH14,
 author       = {Andrea Corradini and Reiko Heckel},
 year         = {2014},
 title        = {Canonical Derivations with Negative Application Conditions},
 booktitle    = {{ICGT}},
 series       = {LNCS},
 volume       = {8571},
 publisher    = {Springer},
 pages        = {207--221},
 doi          = {10.1007/978-3-319-09108-2\_14},
)
@inproceedings(incrementalnacs,
 author       = {Andrea Corradini and Reiko Heckel and Frank Hermann and Susann Gottmann and Nico Nachtigall},
 year         = {2012},
 title        = {Transformation systems with incremental negative application conditions},
 booktitle    = {International Workshop on Algebraic Development Techniques},
 organization = {Springer},
 pages        = {127--142},
 doi          = {10.1007/978-3-642-37635-1\_8},
)
@article(DBLP:journals/fuin/CorradiniMR96,
 author       = {Andrea Corradini and Ugo Montanari and Francesca Rossi},
 year         = {1996},
 title        = {Graph processes},
 journal      = {Fundamenta Informaticae},
 volume       = {26},
 number       = {3, 4},
 pages        = {241--265},
 doi          = {10.3233/FI-1996-263402},
)
@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/3303},
)
@article(da2017theorem,
 author       = {Simone Andr{\'e} da Costa Cavalheiro and Luciana Foss and Leila Ribeiro},
 year         = {2017},
 title        = {Theorem proving graph grammars with attributes and negative application conditions},
 journal      = {TCS},
 volume       = {686},
 pages        = {25--77},
 doi          = {10.1016/j.tcs.2017.04.010},
)
@inproceedings(DBLP:conf/focs/EhrigPS73,
 author       = {Hartmut Ehrig and Michael Pfender and Hans J{\"{u}}rgen Schneider},
 year         = {1973},
 title        = {Graph-Grammars: An Algebraic Approach},
 booktitle    = {14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973},
 publisher    = {{IEEE} Computer Society},
 pages        = {167--180},
 doi          = {10.1109/SWAT.1973.11},
)
@book(DBLP:series/eatcs/EhrigEPT06,
 author       = {Hartmut Ehrig and Karsten Ehrig ande Ulrike Prange and Gabriele Taentzer},
 year         = {2006},
 title        = {Fundamentals of Algebraic Graph Transformation},
 series       = {Monographs in Theoretical Computer Science. An {EATCS} Series},
 publisher    = {Springer},
 doi          = {10.1007/3-540-31188-2},
)
@inproceedings(attunfolding,
 author       = {Ghaffari Saadat, Maryam and Reiko Heckel and Fernando Orejas},
 year         = {2020},
 title        = {Unfolding Symbolic Attributed Graph Grammars},
 booktitle    = {{ICGT}},
 series       = {LNCS},
 volume       = {12150},
 publisher    = {Springer},
 pages        = {75--90},
 doi          = {10.1007/978-3-030-51372-6\_5},
)
@article(DBLP:journals/fuin/HabelHT96,
 author       = {Annegret Habel and Reiko Heckel and Gabriele Taentzer},
 year         = {1996},
 title        = {Graph Grammars with Negative Application Conditions},
 journal      = {Fundam. Inform.},
 volume       = {26},
 number       = {3/4},
 pages        = {287--313},
 doi          = {10.3233/FI-1996-263404},
)
@article(DBLP:journals/mscs/HabelP09,
 author       = {Annegret Habel and Karl{-}Heinz Pennemann},
 year         = {2009},
 title        = {Correctness of high-level transformation systems relative to nested conditions},
 journal      = {Math. Struct. Comput. Sci.},
 volume       = {19},
 number       = {2},
 pages        = {245--296},
 doi          = {10.1017/S0960129508007202},
)
@book(book,
 author       = {Reiko Heckel and Gabriele Taentzer},
 year         = {2020},
 title        = {Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering},
 volume       = {1},
 publisher    = {Springer International Publishing},
 doi          = {10.1007/978-3-030-43916-3},
)
@inproceedings(koch2002,
 author       = {Manuel Koch and Parisi-Presicce, Francesco},
 year         = {2002},
 title        = {Describing policies with graph constraints and rules},
 booktitle    = {International Conference on Graph Transformation},
 organization = {Springer},
 pages        = {223--238},
 doi          = {10.1007/3-540-45832-8\_18},
)
@inproceedings(lack2004adhesive,
 author       = {Stephen Lack and Pawe{\l} Soboci{\'n}ski},
 year         = {2004},
 title        = {Adhesive categories},
 booktitle    = {FOSSACS},
 organization = {Springer},
 pages        = {273--288},
 doi          = {10.1007/978-3-540-24727-2\_20},
)
@phdthesis(lambers2009certifying,
 author       = {Leen Lambers},
 year         = {2009},
 title        = {Certifying rule-based models using graph transformation.},
 school       = {Berlin Institute of Technology},
)
@article(DBLP:journals/jlp/NassarKAT20,
 author       = {Nebras Nassar and Jens Kosiol and Thorsten Arendt and Gabriele Taentzer},
 year         = {2020},
 title        = {Constructing optimized constraint-preserving application conditions for model transformation rules},
 journal      = {J. Log. Algebraic Methods Program.},
 volume       = {114},
 doi          = {10.1016/j.jlamp.2020.100564},
)
@article(LL10,
 author       = {Fernando Orejas and Leen Lambers},
 year         = {2010},
 title        = {Symbolic Attributed Graphs for Attributed Graph Transformation},
 journal      = {{ECEASST}},
 volume       = {30},
 doi          = {10.14279/tuj.eceasst.30.405},
)
@inproceedings(pinaud2012porgy,
 author       = {Bruno Pinaud and Melan{\c{c}}on, Guy and Jonathan Dubois},
 year         = {2012},
 title        = {PORGY: a visual graph rewriting environment for complex systems},
 booktitle    = {Computer Graphics Forum},
 volume       = {31},
 organization = {Wiley Online Library},
 pages        = {1265--1274},
 doi          = {10.1111/j.1467-8659.2012.03119.x},
)
@inproceedings(DBLP:conf/ac/Rozenberg86,
 author       = {Grzegorz Rozenberg},
 year         = {1986},
 title        = {Behaviour of Elementary Net Systems},
 booktitle    = {ACPN},
 series       = {LNCS},
 volume       = {254},
 publisher    = {Springer},
 pages        = {60--94},
 doi          = {10.1007/BFb0046836},
)
@misc(tcr1,
 author       = {Fabian Vogelsteller and Vitalik Buterin},
 year         = {2015},
 title        = {ERC-20 Token Standard: A standard interface for tokens},
 url          = {https://github.com/ethereum/EIPs/blob/master/EIPS/eip-20.md},
)