{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T17:59:29Z","timestamp":1771264769219,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540606185","type":"print"},{"value":"9783540484875","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60618-1_68","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:49:15Z","timestamp":1330289355000},"page":"88-100","source":"Crossref","is-referenced-by-count":17,"title":["On termination of graph rewriting"],"prefix":"10.1007","author":[{"given":"Detlef","family":"Plump","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/3-540-17945-3_8","volume":"259","author":"H. Barendregt","year":"1987","unstructured":"Hendrik Barendregt, Marko van Eekelen, John Glauert, Richard Kennaway, Rinus Plasmeijer, and Ronan Sleep. Term graph rewriting. In Proc. Parallel Architectures and Languages Europe, pages 141\u2013158. Springer Lecture Notes in Computer Science 259, 1987.","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"8_CR2","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0304-3975(93)90063-Y","volume":"109","author":"A. Corradini","year":"1993","unstructured":"Andrea Corradini and Francesca Rossi. Hyperedge replacement jungle rewriting for term rewriting systems and logic programming. Theoretical Computer Science, 109:7\u201348, 1993.","journal-title":"Theoretical Computer Science"},{"key":"8_CR3","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1007\/3-540-10843-2_36","volume":"115","author":"N. Dershowitz","year":"1981","unstructured":"Nachum Dershowitz. Termination of linear rewriting systems (preliminary version). In Proc. Automata, Languages, and Programming, pages 448\u2013458. Springer Lecture Notes in Computer Science 115, 1981.","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"8_CR4","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/S0747-7171(87)80022-6","volume":"3","author":"N. Dershowitz","year":"1987","unstructured":"Nachum Dershowitz. Termination of rewriting. Journal of Symbolic Computation, 3:69\u2013116, 1987.","journal-title":"Journal of Symbolic Computation"},{"key":"8_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0025714","volume":"73","author":"H. Ehrig","year":"1979","unstructured":"Hartmut Ehrig. Introduction to the algebraic theory of graph grammars. In Proc. Graph-Grammars and Their Application to Computer Science and Biology, pages 1\u201369. Springer Lecture Notes in Computer Science 73, 1979.","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"8_CR6","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1007\/3-540-07854-1_188","volume":"45","author":"H. Ehrig","year":"1976","unstructured":"Hartmut Ehrig and Hans-J\u00f6rg Kreowski. Parallelism of manipulations in multidimensional information structures. In Proc. Mathematical Foundations of Computer Science, pages 284\u2013293. Springer Lecture Notes in Computer Science 45, 1976.","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"8_CR7","volume-title":"Report MIP-8922","author":"O. Geupel","year":"1989","unstructured":"Oliver Geupel. Overlap closures and termination of term rewriting systems. Report MIP-8922, Fakult\u00c4t f\u00fcr Mathematik und Informatik, Universit\u00c4t Passau, Passau, Germany, 1989."},{"key":"8_CR8","first-page":"241","volume":"5","author":"A. Habel","year":"1992","unstructured":"Annegret Habel. Hypergraph grammars: Transformational and algorithmic aspects. Journal of Information Processing and Cybernetics, 5:241\u2013277, 1992.","journal-title":"Journal of Information Processing and Cybernetics"},{"issue":"5","key":"8_CR9","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1051\/ita\/1991250504451","volume":"25","author":"B. Hoffmann","year":"1991","unstructured":"Berthold Hoffmann and Detlef Plump. Implementing term rewriting by jungle evaluation. RAIRO Theoretical Informatics and Applications, 25(5):445\u2013472, 1991.","journal-title":"RAIRO Theoretical Informatics and Applications"},{"key":"8_CR10","unstructured":"Hans-J\u00f6rg Kreowski. Manipulationen von Graphmanipulationen. Dissertation, Technische Universit\u00c4t Berlin, 1977."},{"key":"8_CR11","unstructured":"Detlef Plump. Evaluation of functional expressions by hypergraph rewriting. Dissertation, Universit\u00c4t Bremen, Fachbereich Mathematik und Informatik, 1993."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Neil Robertson and P.D. Seymour. Graph minors \u2014 a survey. In Ian Anderson, editor, Surveys in Combinatorics 1985, pages 153\u2013171. London Mathematical Society, 1985.","DOI":"10.1017\/CBO9781107325678.009"},{"key":"8_CR13","unstructured":"Ronan Sleep, Rinus Plasmeijer, and Marko van Eekelen, editors. Term Graph Rewriting: Theory and Practice. John Wiley, 1993."}],"container-title":["Lecture Notes in Computer Science","Graph-Theoretic Concepts in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60618-1_68.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:26:23Z","timestamp":1619573183000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60618-1_68"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540606185","9783540484875"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-60618-1_68","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}