@misc(AGG_homepage,
 title        = "{AGG} Homepage, \texttt {http://tfs.cs.tu-berlin.de/agg/}",
)
@inproceedings(SPb2011,
 author       = "Sergey Baranov and Bertrand Boisvert and Louis Feraud and Sergei Soloviev",
 year         = "2011",
 title        = "{Typed Lambda Terms in Categorical Graph Rewriting}",
 editor       = "N.N. Vassiliev",
 booktitle    = "{The International Conference Polynomial Computer Algebra, April 18-22-2011, Saint-Petersburg, Russia, Euler International Mathematical Institute}",
 publisher    = "VVM Publishing",
 pages        = "9--16",
)
@article(DCH,
 author       = "David Chemouil",
 year         = "2005",
 title        = "Isomorphisms of simple inductive types through extensional rewriting",
 journal      = "Math. Structures in Computer Science",
 volume       = "15",
 number       = "5",
 doi          = "10.1017/S0960129505004950",
)
@inproceedings(ChSo2003.1,
 author       = "David Chemouil and Sergei Soloviev",
 year         = "2003",
 title        = "{Remarks on isomorphisms of simple inductive types }",
 booktitle    = "{Mathematics, Logic and Computation , Eindhoven, 04/07/03-05/07/03}",
 publisher    = "Elsevier",
 address      = "ENTCS 85, 7",
 pages        = "1--19",
 doi          = "10.1016/S1571-0661(04)80760-6",
)
@proceedings(DBLP:conf/gg/2002,
 editor       = "Andrea Corradini and Hartmut Ehrig and Hans-J{\"o}rg Kreowski and Grzegorz Rozenberg",
 year         = "2002",
 title        = "Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings",
 series       = "LNCS",
 volume       = "2505",
 publisher    = "Springer",
)
@book(fundamentals_alg_graph_transf,
 author       = "H. Ehrig and K. Ehrig and U. Prange and G. Taentzer",
 year         = "2006",
 title        = "Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)",
 publisher    = "Springer-Verlag New York, Inc.",
 address      = "Secaucus, NJ, USA",
)
@inproceedings(DBLP:conf/gg/Ehrig78,
 author       = "Hartmut Ehrig",
 year         = "1978",
 title        = "Introduction to the Algebraic Theory of Graph Grammars (A Survey)",
 booktitle    = "Graph-Grammars and Their Application to Computer Science and Biology",
 pages        = "1--69",
)
@proceedings(DBLP:conf/gg/2004,
 editor       = "Hartmut Ehrig and Gregor Engels and Francesco Parisi-Presicce and Grzegorz Rozenberg",
 year         = "2004",
 title        = "Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings",
 series       = "LNCS",
 volume       = "3256",
 publisher    = "Springer",
 doi          = "10.1007/b100934",
)
@article(HLR,
 author       = "Hartmut Ehrig and Julia Padberg and Ulrike Prange and Annegret Habel",
 year         = "2006",
 title        = "Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation",
 journal      = "Fundam. Inf.",
 volume       = "74",
 number       = "1",
 pages        = "1--29",
)
@inproceedings(DBLP:conf/gg/EhrigPT04,
 author       = "Hartmut Ehrig and Ulrike Prange and Gabriele Taentzer",
 year         = "2004",
 title        = "Fundamental Theory for Typed Attributed Graph Transformation",
 editor       = "\write \rebib { editor = "Ehrig",}",
 pages        = "161--177",
 doi          = "10.1007/978-3-540-30203-2_13",
)
@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",
)
@article(SPoLowe,
 author       = "Michael L\"{o}we",
 year         = "1993",
 title        = "Algebraic approach to single-pushout graph transformation",
 journal      = "Theor. Comput. Sci.",
 volume       = "109",
 pages        = "181--224",
 doi          = "10.1016/0304-3975(93)90068-5",
)
@article(Orejas:2011:SGA:1937191.1937400,
 author       = "Fernando Orejas",
 year         = "2011",
 title        = "Symbolic graphs for attributed graph constraints",
 journal      = "J. Symb. Comput.",
 volume       = "46",
 pages        = "294--315",
 doi          = "10.1016/j.jsc.2010.09.009",
)
@phdthesis(rebout08,
 author       = "Maxime Rebout",
 year         = "2008",
 title        = "Une approche cat\'egorique unifi\'ee pour la r\'ecriture de graphes attribu\'es",
 school       = "Universit\'e Paul Sabatier",
)
@inproceedings(2009.157,
 author       = "Maxime Rebout and Louis F\'eraud and Lionel Marie-Magdeleine and Sergei Soloviev",
 year         = "2009",
 title        = "{Computations in Graph Rewriting: Inductive types and Pullbacks in DPO Approach}",
 editor       = "Tomasz Szmuc and Marcin Szpyrka and Jaroslav Zendulka",
 booktitle    = "{IFIP TC2 Central and East European Conference on Software Engineering Techniques - CEE-SET, Krakow, Pologne, 12/10/09-14/10/09}",
 publisher    = "Springer-Verlag",
 pages        = "164--177",
)
@inproceedings(Maxime2008,
 author       = "Maxime Rebout and Louis F\'eraud and Sergei Soloviev",
 year         = "2008",
 title        = "{A Unified Categorical Approach for Attributed Graph Rewriting}",
 editor       = "E Hirsch and A Razborov",
 booktitle    = "{International Computer Science Symposium in Russia (CSR 2008), Moscou 07/06/2008-12/06/2008}",
 series       = "LNCS",
 volume       = "5010",
 publisher    = "Springer-Verlag",
 pages        = "398--410",
 doi          = "10.1007/978-3-540-79709-8_39",
)
@proceedings(DBLP:conf/gg/1997handbook,
 editor       = "Grzegorz Rozenberg",
 year         = "1997",
 title        = "Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations",
 publisher    = "World Scientific",
 doi          = "10.1142/9789812384720",
)
@inproceedings(Tran2010,
 author       = "Hanh Nhi Tran and Christian Percebois and Ali Abou Dib and Louis F\'eraud and Sergei Soloviev",
 year         = "2010",
 title        = "{Attribute Computations in the DPoPb Graph Transformation Engine (regular paper)}",
 booktitle    = "{4th International Workshop on Graph Based Tools (GRABATS 2010), University of Twente, Enschede, The Netherlands, 28/09/2010-28/09/2010}",
 publisher    = "University of Twente",
 address      = "http://www.utwente.nl/en",
 pages        = "(electronic medium)",
)