{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:25Z","timestamp":1761611185242,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540612285"},{"type":"electronic","value":"9783540683889"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61228-9_80","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:17:05Z","timestamp":1153145825000},"page":"75-88","source":"Crossref","is-referenced-by-count":11,"title":["Graph unification and matching"],"prefix":"10.1007","author":[{"given":"Detlef","family":"Plump","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Annegret","family":"Habel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"6_CR1","unstructured":"Franz Baader and J\u00f6rg H. Siekmann. Unification theory. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, pages 41\u2013125. Oxford University Press, 1994."},{"key":"6_CR2","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/BF01692060","volume":"20","author":"M. Bauderon","year":"1987","unstructured":"Michel Bauderon and Bruno Courcelle. Graph expressions and graph rewritings. Mathematical Systems Theory, 20:83\u2013127, 1987.","journal-title":"Mathematical Systems Theory"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Alexandre Boudet, Evelyne Contejean, and Herv\u00e9 Devie. A new AC unification algorithm with an algorithm for solving systems of Diophantine equations. In Proc. Annual IEEE Symposium on Logic in Computer Science, pages 289\u2013299, 1990.","DOI":"10.1109\/LICS.1990.113755"},{"key":"6_CR4","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/S0747-7171(89)80025-2","volume":"8","author":"M. Clausen","year":"1989","unstructured":"Michael Clausen and Albrecht Fortenbacher. Efficient solution of linear Diophantine equations. Journal of Symbolic Computation, 8:201\u2013216, 1989.","journal-title":"Journal of Symbolic Computation"},{"key":"6_CR5","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1006\/inco.1994.1067","volume":"113","author":"E. Contejean","year":"1994","unstructured":"Evelyne Contejean. An efficient incremental algorithm for solving systems of linear Diophantine equations. Information and Computation, 113:143\u2013172, 1994.","journal-title":"Information and Computation"},{"key":"6_CR6","unstructured":"Jacques Corbin and Michel Bidoit. A rehabilitation of Robinson's unification algorithm. In R.E.A. Mason, editor, Proc. Information Processing 83, pages 909\u2013914, 1983."},{"key":"6_CR7","doi-asserted-by":"crossref","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.","DOI":"10.1007\/BFb0025714"},{"key":"6_CR8","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0304-3975(81)90040-2","volume":"13","author":"W. D. Goldfarb","year":"1981","unstructured":"Warren D. Goldfarb. The undecidability of the second-order unification problem. Theoretical Computer Science, 13:225\u2013230, 1981.","journal-title":"Theoretical Computer Science"},{"key":"6_CR9","unstructured":"Annegret Habel. Hyperedge Replacement: Grammars and Languages, volume 643 of Lecture Notes in Computer Science. Springer-Verlag, 1992."},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Annegret Habel and Detlef Plump. Unification, rewriting, and narrowing on term graphs. In Proc. SEGRAGRA '95, Electronic Notes in Theoretical Computer Science. Elsevier, 1995. To appear.","DOI":"10.1016\/S1571-0661(05)80187-2"},{"key":"6_CR11","unstructured":"G\u00e9rard P. Huet. R\u00e9solution d'equations dans les langages d'ordre 1,2,..., \u03c9. Th\u00e8se d'\u00e9tat, Universit\u00e9 de Paris VII, 1976."},{"key":"6_CR12","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/BF03037057","volume":"2","author":"J. Jaffar","year":"1984","unstructured":"Joxan Jaffar. Efficient unification over infinite terms. New Generation Computing, 2:207\u2013219, 1984.","journal-title":"New Generation Computing"},{"issue":"1","key":"6_CR13","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/78935.78938","volume":"37","author":"J. Jaffar","year":"1990","unstructured":"Joxan Jaffar. Minimal and complete word unification. Journal of the ACM, 37(1):47\u201385, 1990.","journal-title":"Journal of the ACM"},{"key":"6_CR14","unstructured":"Jean-Pierre Jouannaud and Claude Kirchner. Solving equations in abstract algebras: A rule-based survey of unification. In Jean-Louis Lassez and Gordon Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson. MIT Press, 1991."},{"issue":"1","key":"6_CR15","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/62029.62030","volume":"21","author":"K. Knight","year":"1989","unstructured":"Kevin Knight. Unification: A multidisciplinary survey. ACM Computing Surveys, 21(1):93\u2013124, 1989.","journal-title":"ACM Computing Surveys"},{"key":"6_CR16","first-page":"147","volume":"103","author":"G.S. Makanin","year":"1977","unstructured":"G.S. Makanin. The problem of solvability of equations in a free semigroup. Matematiceskii Sbornik, 103:147\u2013236, 1977. In Russian. English translation in Math. USSR Sbornik, 32:129\u2013198, 1977.","journal-title":"Matematiceskii Sbornik"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Francesco Parisi-Presicce, Hartmut Ehrig, and Ugo Montanari. Graph rewriting with unification and composition. In Proc. Graph-Grammars and Their Application to Computer Science, pages 496\u2013514. Springer Lecture Notes in Computer Science 291, 1987.","DOI":"10.1007\/3-540-18771-5_72"},{"key":"6_CR18","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1016\/0022-0000(78)90043-0","volume":"16","author":"M.S. Paterson","year":"1978","unstructured":"M.S. Paterson and M.N. Wegman. Linear unification. Journal of Computer and System Sciences, 16:158\u2013167, 1978.","journal-title":"Journal of Computer and System Sciences"},{"key":"6_CR19","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00881904","volume":"11","author":"K. U. Schulz","year":"1993","unstructured":"Klaus U. Schulz. Word unification and transformation of generalized equations. Journal of Automated Reasoning, 11:149\u2013184, 1993.","journal-title":"Journal of Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","Graph Grammars and Their Application to Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61228-9_80","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T22:48:01Z","timestamp":1736462881000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61228-9_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540612285","9783540683889"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-61228-9_80","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}