{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:43Z","timestamp":1725663523788},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540563938"},{"type":"electronic","value":"9783540475491"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56393-8_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:08:51Z","timestamp":1330254531000},"page":"113-127","source":"Crossref","is-referenced-by-count":4,"title":["Combinations of simplifying conditional term rewriting systems"],"prefix":"10.1007","author":[{"given":"Enno","family":"Ohlebusch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"issue":"3","key":"8_CR1","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/0304-3975(82)90026-3","volume":"17","author":"N. Dershowitz","year":"1982","unstructured":"N. Dershowitz. Orderings for Term-Rewriting Systems. Theoretical Computer Science 17(3), pages 279\u2013301, 1982.","journal-title":"Theoretical Computer Science"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"N. Dershowitz and J.P. Jouannaud. Rewrite Systems. In L. van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B, chapter 6. North-Holland, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"8_CR3","first-page":"162","volume":"43","author":"N. Dershowitz","year":"1991","unstructured":"N. Dershowitz and J.P. Jouannaud. Notations for Rewriting. Bulletin of the EATCS 43, pages 162\u2013172, February 1991.","journal-title":"Bulletin of the EATCS"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"N. Dershowitz, M. Okada, and G. Sivakumar. Canonical Conditional Rewrite Systems. In Proceedings of the 9th Conference on Automated Deduction, pages 538\u2013549. Lecture Notes in Computer Science 310, Springer Verlag, 1988.","DOI":"10.1007\/BFb0012855"},{"key":"8_CR5","unstructured":"B. Gramlich. A Structural Analysis of Modular Termination of Term Rewriting Systems. SEKI Report SR-91-15, Universit\u00e4t Kaiserslautern, 1991."},{"issue":"3","key":"8_CR6","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0747-7171(87)80010-X","volume":"4","author":"S. Kaplan","year":"1987","unstructured":"S. Kaplan. Simplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence. Journal of Symbolic Computation 4(3), pages 295\u2013334, 1987.","journal-title":"Journal of Symbolic Computation"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"J.W. Klop. Term Rewriting Systems. Report CS-R9073, Centre for Mathematics and Computer Science, 1990.","DOI":"10.1007\/3-540-54317-1_79"},{"key":"8_CR8","volume-title":"Report SF-36","author":"M. Kurihara","year":"1990","unstructured":"M. Kurihara and A. Ohuchi. Modularity of Simple Termination of Term Rewriting Systems with Shared Constructors. Report SF-36, Hokkaido University, Sapporo, 1990."},{"issue":"5","key":"8_CR9","first-page":"633","volume":"31","author":"M. Kurihara","year":"1990","unstructured":"M. Kurihara and A. Ohuchi. Modularity of Simple Termination of Term Rewriting Systems. Journal of IPS Japan 31(5), pages 633\u2013642, 1990.","journal-title":"Journal of IPS Japan"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"A. Middeldorp. Confluence of the Disjoint Union of Conditional Term Rewriting Systems. In Proceedings of the 2nd International Workshop on Conditional and Typed Rewriting Systems, pages 295\u2013306. Lecture Notes in Computer Science 516, Springer Verlag, 1990.","DOI":"10.1007\/3-540-54317-1_99"},{"key":"8_CR11","unstructured":"A. Middeldorp. Modular Properties of Term Rewriting Systems. PhD thesis, Free University Amsterdam, 1990."},{"key":"8_CR12","unstructured":"E. Ohlebusch. A Note on Simple Termination of Infinite Term Rewriting Systems. Report Nr. 7, Technische Fakult\u00e4t, Universit\u00e4t Bielefeld, 1992."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"E. Ohlebusch. Combinations of Simplifying Conditional Term Rewriting Systems. Report Nr. 6, Technische Fakult\u00e4t, Universit\u00e4t Bielefeld, 1992.","DOI":"10.1007\/3-540-56393-8_8"},{"key":"8_CR14","doi-asserted-by":"publisher","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 Processing Letters 26, pages 65\u201370, 1987.","journal-title":"Information Processing Letters"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"J. Steinbach. Extensions and Comparison of Simplification Orderings. In Proceedings of the 3rd International Conference on Rewriting Techniques and Applications, pages 434\u2013448. Lecture Notes in Computer Science 355, Springer Verlag, 1989.","DOI":"10.1007\/3-540-51081-8_124"},{"key":"8_CR16","doi-asserted-by":"publisher","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 Processing Letters 25, pages 141\u2013143, 1987.","journal-title":"Information Processing Letters"},{"issue":"1","key":"8_CR17","doi-asserted-by":"publisher","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(1), pages 128\u2013143, 1987.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Conditional Term Rewriting Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56393-8_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T04:46:55Z","timestamp":1640926015000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56393-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540563938","9783540475491"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-56393-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}