@unknown(DBLP:journals/fuin/AriolaK96,
 author       = "Z.M. Ariola and J.W. Klop",
 year         = "1996",
 title        = "Equational Term Graph Rewriting",
 journal      = "Fundam. Inform.",
 volume       = "26",
 number       = "3/4",
 pages        = "207--240",
)
@unknown(AN:MSIT,
 author       = "A. Arnold and M. Nivat",
 year         = "1980",
 title        = "The metric space of infinite trees. Algebraic and topological properties",
 journal      = "Fundamenta Informaticae",
 volume       = "4",
 pages        = "445--476",
)
@unknown(DBLP:journals/mscs/BaldanBCK07,
 author       = "P. Baldan and C. Bertolissi and H. Cirstea and C. Kirchner",
 year         = "2007",
 title        = "A rewriting calculus for cyclic higher-order term graphs",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "17",
 number       = "3",
 pages        = "363--406",
)
@unknown(DBLP:journals/entcs/BaldanBCK08,
 author       = "P. Baldan and C. Bertolissi and H. Cirstea and C. Kirchner",
 year         = "2008",
 title        = "Towards a Sharing Strategy for the Graph Rewriting Calculus",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "204",
 pages        = "111--127",
)
@unknown(BEGKPS:TGR,
 author       = "H.P. Barendregt and M.C.J.D. van Eekelen and J.R.W. Glauert and J.R. Kennaway and M.J. Plasmeijer and M.R. Sleep",
 year         = "1987",
 title        = "Term graph reduction",
 editor       = "J.W. de Bakker and A.J. Nijman and P.C. Treleaven",
 booktitle    = "Parallel Architectures and Languages Europe",
 series       = "LNCS",
 volume       = "259",
 publisher    = "Springer Verlag",
 pages        = "141--158",
)
@unknown(DBLP:journals/jacm/BerryL79,
 author       = "G. Berry and J.-J. L{\'e}vy",
 year         = "1979",
 title        = "Minimal and Optimal Computations of Recursive Programs",
 journal      = "J. ACM",
 volume       = "26",
 number       = "1",
 pages        = "148--175",
)
@unknown(Cor:TRC,
 author       = "A. Corradini",
 year         = "1993",
 title        = "Term Rewriting in ${C}{T}_{\Sigma }$",
 editor       = "M.-C. Gaudel and J.-P. Jouannaud",
 booktitle    = "Trees in Algebra and Programming",
 series       = "LNCS",
 volume       = "668",
 publisher    = "Springer Verlag",
 pages        = "468--484",
)
@unknown(CG:A2CP,
 author       = "A. Corradini and F. Gadducci",
 year         = "1997",
 title        = "A 2-Categorical Presentation of Term Graph Rewriting",
 editor       = "E. Moggi and G. Rosolini",
 booktitle    = "Category Theory and Computer Science",
 series       = "LNCS",
 volume       = "1290",
 publisher    = "Springer Verlag",
 pages        = "87--105",
)
@unknown(CG:RCSE,
 author       = "A. Corradini and F. Gadducci",
 year         = "1999",
 title        = "Rewriting on Cyclic Structures: Equivalence between the Operational and the Categorical Description",
 journal      = "Informatique Th\'{e}orique et Applications/Theoretical Informatics and Applications",
 volume       = "33",
 pages        = "467--493",
)
@unknown(CR:HRJR,
 author       = "A. Corradini and F. Rossi",
 year         = "1993",
 title        = "Hyperedge Replacement Jungle Rewriting for Term Rewriting Systems and Logic Programming",
 journal      = "Theoretical Computer Science",
 volume       = "109",
 pages        = "7--48",
)
@unknown(curry-feys:combinatory-logic,
 author       = "H.B. Curry and R. Feys",
 year         = "1958",
 title        = "Combinatory Logic Volume {I}",
 series       = "Studies in Logic and the Foundations of Mathematics",
 publisher    = "North-Holland Publishing Company",
 address      = "Amsterdam",
)
@unknown(DK:RRRR,
 author       = "N. Dershowitz and S. Kaplan",
 year         = "1989",
 title        = "Rewrite, Rewrite, Rewrite, Rewrite, Rewrite$\dots $",
 booktitle    = "Proc. POPL'89, Austin",
 pages        = "250--259",
)
@unknown(DKP:INFP,
 author       = "N. Dershowitz and S. Kaplan and D.A. Plaisted",
 year         = "1989",
 title        = "Infinite Normal Forms (plus corrigendum)",
 booktitle    = "Automata, Languages and Programming",
 pages        = "249--262",
)
@unknown(DBLP:journals/mscs/DoughertyLL06,
 author       = "D.J. Dougherty and P. Lescanne and L. Liquori",
 year         = "2006",
 title        = "Addressed term rewriting systems: application to a typed object calculus",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "16",
 number       = "4",
 pages        = "667--709",
)
@unknown(DBLP:journals/entcs/DuvalEP07,
 author       = "D. Duval and R. Echahed and F. Prost",
 year         = "2007",
 title        = "Modeling Pointer Redirection as Cyclic Term-graph Rewriting",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "176",
 number       = "1",
 pages        = "65--84",
)
@unknown(Ehr:TIAA,
 author       = "H. Ehrig",
 year         = "1987",
 title        = "Tutorial introduction to the algebraic approach of graph-grammars",
 editor       = "H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld",
 booktitle    = "Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science",
 series       = "LNCS",
 volume       = "291",
 publisher    = "Springer Verlag",
 pages        = "3--14",
)
@unknown(FRW:CPCR,
 author       = "W.M. Farmer and J.D. Ramsdell and R.J. Watro",
 year         = "1990",
 title        = "A correctness proof for combinator reduction with cycles",
 journal      = "ACM Transactions on Programming Languages and Systems",
 volume       = "12",
 pages        = "123--134",
)
@unknown(FW:RCTG,
 author       = "W.M. Farmer and R.J. Watro",
 year         = "1991",
 title        = "Redex capturing in term graph rewriting",
 editor       = "R.V. Book",
 booktitle    = "Rewriting Techniques and Applications",
 series       = "LNCS",
 volume       = "488",
 publisher    = "Springer Verlag",
 pages        = "13--24",
)
@unknown(ADJ:IASCA,
 author       = "J.A. Goguen and J.W. Tatcher and E.G. Wagner and J.R Wright",
 year         = "1977",
 title        = "Initial Algebra Semantics and Continuous Algebras",
 journal      = "Journal of the ACM",
 volume       = "24",
 pages        = "68--95",
)
@unknown(HP:ITRJ,
 author       = "B. Hoffmann and D. Plump",
 year         = "1991",
 title        = "Implementing Term Rewriting by Jungle Evaluation",
 journal      = "Informatique Th\'{e}orique et Applications/Theoretical Informatics and Applications",
 volume       = "25",
 pages        = "445--472",
)
@unknown(HL:CORS1,
 author       = "G. Huet and J.-J. L\'evy",
 year         = "1991",
 title        = "Computations in orthogonal rewriting systems, {I}",
 editor       = "J.-L. Lassez and G. Plotkin",
 booktitle    = "Computational Logic: Essays in honour of {A}lan {R}obinson",
 publisher    = "MIT Press",
 pages        = "395--414",
)
@unknown(Ken:GRSC,
 author       = "J.R. Kennaway",
 year         = "1991",
 title        = "Graph rewriting in some categories of partial morphisms",
 booktitle    = "Graph Grammars and their Application in Computer Science",
 series       = "LNCS",
 volume       = "532",
 publisher    = "Springer Verlag",
 pages        = "490--504",
)
@unknown(KKSV:AGRS,
 author       = "J.R. Kennaway and J.W. Klop and M.R. Sleep and F.J. de Vries",
 year         = "1994",
 title        = "On the Adequacy of Graph Rewriting for Simulating Term Rewriting",
 journal      = "ACM Transactions on Programming Languages and Systems",
 volume       = "16",
 pages        = "493--523",
)
@unknown(ML:CWM,
 author       = "S. Mac Lane",
 year         = "1971",
 title        = "Categories for the working mathematician",
 publisher    = "Springer Verlag",
)
@unknown(DBLP:conf/icalp/PaciniMT74,
 author       = "G Pacini and Carlo Montangero and Franco Turini",
 year         = "1974",
 title        = "Graph Representation and Computation Rules for Typeless Recursive Languages",
 editor       = "J. Loeckx",
 booktitle    = "ICALP",
 series       = "LNCS",
 volume       = "14",
 publisher    = "Springer",
 pages        = "157--169",
)
@unknown(Sta:CGLE,
 author       = "J. Staples",
 year         = "1980",
 title        = "Computation of graph-like expressions",
 journal      = "Theoretical Computer Science",
 volume       = "10",
 pages        = "171--195",
)
@unknown(DBLP:journals/spe/Turner79,
 author       = "D.A. Turner",
 year         = "1979",
 title        = "A New Implementation Technique for Applicative Languages",
 journal      = "Softw., Pract. Exper.",
 volume       = "9",
 number       = "1",
 pages        = "31--49",
)
@unknown(DBLP:journals/jcss/Vuillemin74,
 author       = "J. Vuillemin",
 year         = "1974",
 title        = "Correct and Optimal Implementations of Recursion in a Simple Programming Language",
 journal      = "J. Comput. Syst. Sci.",
 volume       = "9",
 number       = "3",
 pages        = "332--354",
)