{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:16Z","timestamp":1761611296593},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540543176"},{"type":"electronic","value":"9783540475583"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54317-1_100","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:40:24Z","timestamp":1330209624000},"page":"307-317","source":"Crossref","is-referenced-by-count":5,"title":["Implementing term rewriting by graph reduction: Termination of combined systems"],"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":"24_CR1","doi-asserted-by":"crossref","unstructured":"M. Bidoit, C. Choppy, F. Voisin: The ASSPEGIQUE Specification Environment: Motivations and Design. In H.-J. Kreowski (ed.): Recent Trends in Data Type Specification. Informatik-Fachberichte 116, Springer-Verlag (1985)","DOI":"10.1007\/978-3-662-09691-8_6"},{"key":"24_CR2","unstructured":"J. Bergstra, J. Heering, P. Klint: Algebraic Specification. ACM Press (1989)"},{"key":"24_CR3","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/3-540-16780-3_76","volume":"230","author":"L. Bachmair","year":"1986","unstructured":"L. Bachmair, N. Dershowitz: Commutation, Transformation, and Termination. Proc. 8th CADE, Lecture Notes in Comp. Sci. 230, 5\u201320 (1986)","journal-title":"Lecture Notes in Comp. Sci."},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"N. Dershowitz, J.-P. Jouannaud: Rewrite Systems. In J. van Leeuwen (ed.): Handbook of Theoretical Computer Science. Vol. B, North-Holland (1990)","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"K. Drosten: Termersetzungssysteme. Informatik-Fachberichte 210, Springer-Verlag (1989) (In German)","DOI":"10.1007\/978-3-642-74769-4"},{"key":"24_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0025714","volume":"73","author":"H. Ehrig","year":"1979","unstructured":"H. Ehrig: Introduction to the Algebraic Theory of Graph Grammars. Proc. 1st Graph Grammar Workshop, Lecture Notes in Comp. Sci. 73, 1\u201369 (1979)","journal-title":"Lecture Notes in Comp. Sci."},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 1 \u2014 Equations and Initial Semantics. Springer-Verlag (1985)","DOI":"10.1007\/978-3-642-69962-7"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"K. Futatsugi, J. Goguen, J.P. Jouannoud, J. Meseguer: Principles of OBJ2. Proc. 1985 Symposium on Principles of Programming Languages, 52\u201366 (1985)","DOI":"10.1145\/318593.318610"},{"key":"24_CR9","first-page":"22","volume":"31","author":"H. Ganzinger","year":"1987","unstructured":"H. Ganzinger, R. Giegerich: A Note on Termination in Combinations of Heterogeneous Term Rewriting Systems. EATCS Bulletin 31, 22\u201328 (1987)","journal-title":"EATCS Bulletin"},{"key":"24_CR10","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/3-540-16442-1_26","volume":"213","author":"A. Geser","year":"1986","unstructured":"A. Geser, H. Hu\u00dfmann: Experiences with the RAP System: A Specification Interpreter Combining Term Rewriting and Resolution. Proc. ESOP '86, Lecture Notes in Comp. Sci. 213, 339\u2013350 (1986)","journal-title":"Lecture Notes in Comp. Sci."},{"key":"24_CR11","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/3-540-50325-0_5","volume":"332","author":"A. Habel","year":"1988","unstructured":"A. Habel, H.-J. Kreowski, D. Plump: Jungle Evaluation. Proc. Fifth Workshop on Specification of Abstract Data Types, Lecture Notes in Comp. Sci. 332, 92\u2013112 (1988)","journal-title":"Lecture Notes in Comp. Sci."},{"key":"24_CR12","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/3-540-50667-5_71","volume-title":"Proc. Algebraic and Logic Programming","author":"B. Hoffmann","year":"1988","unstructured":"B. Hoffmann, D. Plump: Jungle Evaluation for Efficient Term Rewriting. Proc. Algebraic and Logic Programming, Akademie-Verlag, Berlin (GDR), 191\u2013203 (1988). Also in Lecture Notes in Comp. Sci. 343, (1989). Long version available as technical report no. 4\/88, Universit\u00e4t Bremen"},{"key":"24_CR13","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1007\/BFb0032044","volume":"443","author":"J.W. Klop","year":"1990","unstructured":"J.W. Klop: Term Rewriting Systems \u2014 From Church-Rosser to Knuth-Bendix and Beyond. Proc. ICALP '90, Lecture Notes in Comp. Sci. 443, 350\u2013369 (1990)","journal-title":"Lecture Notes in Comp. Sci."},{"key":"24_CR14","unstructured":"H.-J. Kreowski: Manipulationen von Graphmanipulationen. Dissertation, TU Berlin (1977)"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"A. Middeldorp: A Sufficient Condition for the Termination of the Direct Sum of Term Rewriting Systems. Proc. 4th IEEE Symposium on Logic in Computer Science, 396\u2013401 (1989)","DOI":"10.1109\/LICS.1989.39194"},{"key":"24_CR16","volume-title":"Termination of Disjoint Unions of Conditional Term Rewriting Systems. Report CS-R8959","author":"A. Middeldorp","year":"1989","unstructured":"A. Middeldorp: Termination of Disjoint Unions of Conditional Term Rewriting Systems. Report CS-R8959, Centre for Mathematics and Computer Science, Amsterdam (1989)"},{"key":"24_CR17","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0020-0190(87)90039-1","volume":"26","author":"M. Rusinowitch","year":"1987","unstructured":"M. Rusinowitch: On Termination of the Direct Sum of Term Rewriting Systems. Information Process. Lett. 26, 65\u201370 (1987)","journal-title":"Information Process. Lett."},{"key":"24_CR18","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/3-540-51081-8_127","volume":"355","author":"Y. Toyama","year":"1989","unstructured":"Y. Toyama, J.W. Klop, H.P. Barendregt: Termination for the Direct Sum of Left-Linear Term Rewriting Systems. Proc. Rewriting Techniques and Applications '89, Lecture Notes in Comp. Sci. 355, 477\u2013491 (1989)","journal-title":"Lecture Notes in Comp. Sci."},{"key":"24_CR19","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1145\/7531.7534","volume":"34","author":"Y. Toyama","year":"1987","unstructured":"Y. Toyama: On the Church-Rosser Property for the Direct Sum of Term Rewriting Systems. Journal of the ACM 34, 128\u2013143 (1987)","journal-title":"Journal of the ACM"},{"key":"24_CR20","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0020-0190(87)90122-0","volume":"25","author":"Y. Toyama","year":"1987","unstructured":"Y. Toyama: Counterexamples to Termination for the Direct Sum of Term Rewriting Systems. Information Process. Lett. 25, 141\u2013143 (1987)","journal-title":"Information Process. Lett."}],"container-title":["Lecture Notes in Computer Science","Conditional and Typed Rewriting Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54317-1_100.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:53:29Z","timestamp":1605646409000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54317-1_100"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540543176","9783540475583"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-54317-1_100","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}