@article(CabotSoSym2010,
 author       = "Jordi Cabot and Robert Claris\'o and Esther Guerra and Juan de Lara",
 year         = "2010",
 title        = "{A UML/OCL Framework for the Analysis of Graph Transformation Rules}",
 journal      = "SoSyM",
 volume       = "9",
 number       = "3",
 pages        = "335--357",
 doi          = "10.1007/s10270-009-0129-0",
)
@inproceedings(ChHoeNu2012,
 author       = "J{\"{u}}rgen Christ and Jochen Hoenicke and Alexander Nutz",
 year         = "2012",
 title        = "SMTInterpol: An Interpolating {SMT} Solver",
 booktitle    = "Model Checking Software - 19th International Workshop, {SPIN} 2012, Oxford, UK",
 pages        = "248--254",
 doi          = "10.1007/978-3-642-31759-0\_19",
)
@inproceedings(mathsat5,
 author       = "Alessandro Cimatti and Alberto Griggio and Bastiaan Schaafsma and Roberto Sebastiani",
 year         = "2013",
 title        = "{The MathSAT5 SMT Solver}",
 booktitle    = "Proceedings of TACAS",
 series       = "LNCS",
 volume       = "7795",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-36742-7\_7",
)
@book(Fundamentals,
 author       = "Hartmut Ehrig and Karsten Ehrig and Ulrike Prange and Gabriele Taentzer",
 year         = "2006",
 title        = "Fundamentals of Algebraic Graph Transformation",
 publisher    = "Springer",
)
@book(EhrigMahr85,
 author       = "Hartmut Ehrig and Bernd Mahr",
 year         = "1985",
 title        = "Fundamentals of Algebraic Specification 1",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-69962-7",
)
@article(GoLaEhOr2012,
 author       = "Ulrike Golas and Leen Lambers and Hartmut Ehrig and Fernando Orejas",
 year         = "2012",
 title        = "Attributed Graph Transformation with Inheritance: Efficient Conflict Detection and Local Confluence Analysis using Abstract Critical Pairs",
 journal      = "Theoretical Computer Science",
 volume       = "424",
 number       = "0",
 pages        = "46 -- 68",
 doi          = "10.1016/j.tcs.2012.01.032",
)
@inproceedings(ConflOfAG,
 author       = "Reiko Heckel and Jochen Malte K{\"u}ster and Gabriele Taentzer",
 year         = "2002",
 title        = "Confluence of Typed Attributed Graph Transformation Systems",
 booktitle    = "Proc. of the 1st ICGT",
 series       = "LNCS",
 volume       = "2505",
 publisher    = "Springer",
 pages        = "161--176",
 doi          = "10.1007/3-540-45832-8\_14",
)
@incollection(LaEhOr2006,
 author       = "Leen Lambers and Hartmut Ehrig and Fernando Orejas",
 year         = "2006",
 title        = "Conflict Detection for Graph Transformation with Negative Application Conditions",
 booktitle    = "Graph Transformations",
 series       = "LNCS",
 volume       = "4178",
 publisher    = "Springer",
 pages        = "61--76",
 doi          = "10.1007/11841883\_6",
)
@article(EfficientConflictDetection,
 author       = "Leen Lambers and Hartmut Ehrig and Fernando Orejas",
 year         = "2008",
 title        = "Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs",
 journal      = "ENTCS",
 volume       = "211",
 pages        = "17--26",
 doi          = "10.1016/j.entcs.2008.04.026",
)
@incollection(MoBj2008,
 author       = "Leonardo de Moura and Nikolaj Bjørner",
 year         = "2008",
 title        = "Z3: An Efficient SMT Solver",
 booktitle    = "Tools and Algorithms for the Construction and Analysis of Systems",
 series       = "LNCS",
 volume       = "4963",
 publisher    = "Springer",
 pages        = "337--340",
 doi          = "10.1007/978-3-540-78800-3\_24",
)
@inproceedings(OL10a,
 author       = "Fernando Orejas and Leen Lambers",
 year         = "2010",
 title        = "Symbolic Attributed Graphs for Attributed Graph Transformation",
 booktitle    = "Proc. of the ICGT",
 series       = "Electronic Communications of the EASST",
 volume       = "30",
)
@article(Lazy,
 author       = "Fernando Orejas and Leen Lambers",
 year         = "2012",
 title        = "Lazy Graph Transformation",
 journal      = "Fundam. Inf.",
 volume       = "118",
 number       = "1-2",
 pages        = "65--96",
 url          = "http://dl.acm.org/citation.cfm?id=2385016.2385020",
)
@book(Handbook1,
 editor       = "G. Rozenberg",
 year         = "1997",
 title        = "Handbook of Graph Grammars and Computing by Graph Transformation: Volume I. Foundations",
 publisher    = "World Scientific Publishing Co., Inc.",
 address      = "River Edge, NJ, USA",
)
@book(Sf67,
 author       = "Joseph R Shoenfield",
 year         = "1967",
 title        = "Mathematical logic",
 volume       = "21",
 publisher    = "Addison-Wesley Reading",
)