{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T13:14:08Z","timestamp":1648646048242},"reference-count":11,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2007,9,1]],"date-time":"2007-09-01T00:00:00Z","timestamp":1188604800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":2158,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1016\/j.entcs.2002.09.004","type":"journal-article","created":{"date-parts":[[2007,8,31]],"date-time":"2007-08-31T11:14:59Z","timestamp":1188558899000},"page":"31-44","source":"Crossref","is-referenced-by-count":1,"title":["Inequational Deduction as Term Graph Rewriting"],"prefix":"10.1016","volume":"72","author":[{"given":"Andrea","family":"Corradini","sequence":"first","affiliation":[]},{"given":"Fabio","family":"Gadducci","sequence":"additional","affiliation":[]},{"given":"Wolfram","family":"Kahl","sequence":"additional","affiliation":[]},{"given":"Barbara","family":"K\u00f6nig","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.entcs.2002.09.004_bib001","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1023\/A:1008647417502","article-title":"An algebraic presentation of term graphs, via gs-monoidal categories","volume":"7","author":"Corradini","year":"1999","journal-title":"Applied Categorical Structures"},{"key":"10.1016\/j.entcs.2002.09.004_bib002","doi-asserted-by":"crossref","unstructured":"A. Corradini and F. Gadducci. A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Theoret. Comput. Sci., 2002. To appear. Available at http:\/\/www.di.unipi.it\/~gadducci\/papers","DOI":"10.1016\/S0304-3975(01)00319-X"},{"key":"10.1016\/j.entcs.2002.09.004_bib003","unstructured":"A. Corradini, F. Gadducci, and W. Kahl. Term graph syntax for multi-algebras. Technical Report TR-00-04, University of Pisa, Department of Informatics, 2000"},{"key":"10.1016\/j.entcs.2002.09.004_bib004","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0304-3975(93)90063-Y","article-title":"Hyperedge replacement jungle rewriting for term rewriting systems and logic programming","volume":"109","author":"Corradini","year":"1993","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/j.entcs.2002.09.004_bib005","series-title":"Mathematical Systems Theory","first-page":"323","article-title":"Categorical approach to graphic systems and graph grammars","volume":"volume 131","author":"Ehrig","year":"1976"},{"key":"10.1016\/j.entcs.2002.09.004_bib006","series-title":"Switching and Automata Theory","first-page":"167","article-title":"Graph-grammars: an algebraic approach","author":"Ehrig","year":"1973"},{"key":"10.1016\/j.entcs.2002.09.004_bib007","unstructured":"F. Gadducci. On the Algebraic Approach to Concurrent Term Rewriting. PhD thesis, University of Pisa, Department of Informatics, 1996"},{"key":"10.1016\/j.entcs.2002.09.004_bib008","first-page":"3","article-title":"Term graph rewriting","volume":"volume 2","author":"Plump","year":"1999"},{"key":"10.1016\/j.entcs.2002.09.004_bib009","article-title":"Term Graph Rewriting: Theory and Practice","year":"1993"},{"key":"10.1016\/j.entcs.2002.09.004_bib010","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/248621.248623","article-title":"Algebraic approaches to nondeterminism: An overview","volume":"29","author":"Walicki","year":"1997","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/j.entcs.2002.09.004_bib011","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1145\/201059.201070","article-title":"A complete calculus for the multialgebraic and functional semantics of nondeterminism","volume":"17","author":"Walicki","year":"1997","journal-title":"ACM Trans. Program. Lang. Syst."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610700549X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610700549X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,4]],"date-time":"2019-01-04T21:53:27Z","timestamp":1546638807000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S157106610700549X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,9]]}},"alternative-id":["S157106610700549X"],"URL":"https:\/\/doi.org\/10.1016\/j.entcs.2002.09.004","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2007,9]]}}}