{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:55:48Z","timestamp":1762458948794},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540187714"},{"type":"electronic","value":"9783540481782"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18771-5_72","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:48:20Z","timestamp":1330181300000},"page":"496-514","source":"Crossref","is-referenced-by-count":27,"title":["Graph rewriting with unification and composition"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Parisi-Presicce","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hartmut","family":"Ehrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"33_CR1","first-page":"267","volume":"185","author":"P. Boehm","year":"1985","unstructured":"Boehm P., Fonio H.-R., Habel A., Amalgamation of Graph Transformations with applications to Synchronization, Proc. CAAP 85, LNCS 185 (1985) 267\u2013283","journal-title":"LNCS"},{"key":"33_CR2","doi-asserted-by":"crossref","unstructured":"Claus V., Ehrig H., Rozenberg G. (eds.): Graph grammars and Their Applications to Computer Science and Biology, Proc. Internat. Workshop, LNCS 73 (1979)","DOI":"10.1007\/BFb0025713"},{"key":"33_CR3","first-page":"20","volume":"153","author":"I. Castellani","year":"1983","unstructured":"Castellani I., Montanari U., Graph Grammars for Distributed Systems, Proc. 2nd Int. Workshop on Graph Grammars, LNCS 153 (1983) 20\u201338","journal-title":"LNCS"},{"key":"33_CR4","unstructured":"Davis R., King J., An Overview of Production Systems, in \"Machine Intelligence\" vol.8 (eds. E.W. Elcock and D.Michie), 1977"},{"key":"33_CR5","first-page":"1","volume":"73","author":"H. Ehrig","year":"1979","unstructured":"Ehrig H., Introduction to the Algebraic Theory of Graph Grammars, Proc. Int. Workshop on Graph Grammars, LNCS 73 (1979) 1\u201369","journal-title":"LNCS"},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"Ehrig H., Habel A., Rosen B.K., Concurrent Transformations of Relational Structures, Fund. Inform. IX (1) 1986.","DOI":"10.3233\/FI-1986-9103"},{"key":"33_CR7","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/0304-3975(80)90016-X","volume":"11","author":"H. Ehrig","year":"1980","unstructured":"Ehrig H., Rosen B.K., Parallelism and Concurrency of Graph Manipulations, Theoret. Comp. Sci. 11 (1980) 247\u2013275","journal-title":"Theoret. Comp. Sci."},{"key":"33_CR8","doi-asserted-by":"crossref","unstructured":"Ehrig H., Nagl M., Rozenberg G. (eds.): Graph Grammars and Their Applications to Computer Science, Proc. 2nd Internat. Workshop, LNCS 153 (1983)","DOI":"10.1007\/BFb0000094"},{"issue":"4","key":"33_CR9","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"G. Huet","year":"1980","unstructured":"Huet G., Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems, JACM 27, 4 (Oct 1980) 797\u2013821","journal-title":"JACM"},{"key":"33_CR10","doi-asserted-by":"crossref","unstructured":"Huet G., Oppen D. C., Equations and Rewrite Rules: A Survey, in \"Formal Language Theory: Perspective and Open Problems\" ed. R.Book, Academic Press 1980","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"issue":"9","key":"33_CR11","doi-asserted-by":"crossref","first-page":"921","DOI":"10.1145\/4284.4286","volume":"28","author":"F. Hayes-Roth","year":"1985","unstructured":"Hayes-Roth F., Rule-Based Systems, Comm. ACM 28,9 (Sept 1985) 921\u2013932","journal-title":"Comm. ACM"},{"key":"33_CR12","unstructured":"Nivat M., Ait-Kaci H., Eds., Proc. Colloquium on the Resolution of Equations in Algebraic Structures, Lakeway, Texas, May 4\u20136 1987, to appear."},{"issue":"10","key":"33_CR13","doi-asserted-by":"crossref","first-page":"1345","DOI":"10.1109\/PROC.1986.13636","volume":"74","author":"E. Sandewall","year":"1986","unstructured":"Sandewall E., Nonmonotonic Inference Rules for Multiple Inheritance with Exceptions, IEEE Proceedings 74, 10 (Oct 1986) 1345\u20131353","journal-title":"IEEE Proceedings"},{"key":"33_CR14","volume-title":"The Mathematics of Inheritance Systems","author":"D. S. Touretzky","year":"1986","unstructured":"Touretzky D. S., The Mathematics of Inheritance Systems, Pitman, London, 1986"},{"key":"33_CR15","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0004-3702(77)90004-2","volume":"8","author":"S.A. Vere","year":"1977","unstructured":"Vere S.A., Relational Production Systems, Artificial Intelligence 8 (1977) 47\u201368","journal-title":"Artificial Intelligence"}],"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-18771-5_72.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T21:15:51Z","timestamp":1640898951000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18771-5_72"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540187714","9783540481782"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-18771-5_72","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}