{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T08:40:50Z","timestamp":1758271250793},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540510819"},{"type":"electronic","value":"9783540461494"}],"license":[{"start":{"date-parts":[[1989,1,1]],"date-time":"1989-01-01T00:00:00Z","timestamp":599616000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51081-8_127","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:37:33Z","timestamp":1330184253000},"page":"477-491","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Termination for the direct sum of left-linear term rewriting systems"],"prefix":"10.1007","author":[{"given":"Yoshihito","family":"Toyama","sequence":"first","affiliation":[]},{"given":"Jan Willem","family":"Klop","sequence":"additional","affiliation":[]},{"given":"Hendrik Pieter","family":"Barendregt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"unstructured":"G. Huet and D. C. Oppen, Equations and rewrite rules: a survey, in: R. Book, ed., Formal languages: perspectives and open problems (Academic Press, 1980) 349\u2013393.","key":"33_CR1"},{"key":"33_CR2","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1007\/3-540-10843-2_36","volume":"115","author":"N. Dershowitz","year":"1981","unstructured":"N. Dershowitz. Termination of linear rewriting systems: Preliminary version, Lecture Notes in Comput. Sci. 115 (Springer-Verlag, 1981) 448\u2013458.","journal-title":"Lecture Notes in Comput. Sci."},{"key":"33_CR3","first-page":"22","volume":"31","author":"H. Ganzinger","year":"1987","unstructured":"H. Ganzinger and R. Giegerich, A note on termination in combinations of heterogeneous term rewriting systems, EATCS Bulletin 31 (1987) 22\u201328.","journal-title":"EATCS Bulletin"},{"unstructured":"J. W. Klop and H. P. Barendregt, Private communication (January 19, 1986).","key":"33_CR4"},{"key":"33_CR5","volume-title":"A sufficient condition for the termination of the direct sum of term rewriting systems","author":"A. Middeldorp","year":"1988","unstructured":"A. Middeldorp, A sufficient condition for the termination of the direct sum of term rewriting systems, Preliminary Draft, Report IR-150, Free University, Amsterdam (1988)."},{"key":"33_CR6","volume-title":"Modular aspects of properties of term rewriting systems related to normal forms","author":"A. Middeldorp","year":"1988","unstructured":"A. Middeldorp, Modular aspects of properties of term rewriting systems related to normal forms, Preliminary Draft, Free University, Amsterdam (September 1988)."},{"key":"33_CR7","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, Inform. Process. Lett. 26 (1987) 65\u201370.","journal-title":"Inform. Process. Lett."},{"key":"33_CR8","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, J. ACM 34 (1987) 128\u2013143.","journal-title":"J. ACM"},{"key":"33_CR9","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, Inform. Process. Lett. 25 (1987) 141\u2013143.","journal-title":"Inform. Process. Lett."},{"unstructured":"Y. Toyama, Commutativity of term rewriting systems, in: K. Fuchi and L. Kott, eds., Programming of Future Generation Computer II (Norht Holland 1988) 393\u2013407.","key":"33_CR10"},{"unstructured":"Y. Toyama, J.W. Klop, H.P. Barendregt, Termination for the direct sum of left-linear term rewriting systems: Preliminary draft, IEICE technical report COM88-30 (July 1988) 47\u201355.","key":"33_CR11"}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51081-8_127","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T18:15:16Z","timestamp":1578507316000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51081-8_127"}},"subtitle":["Preliminary draft"],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540510819","9783540461494"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-51081-8_127","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]},"assertion":[{"value":"31 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}