{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:48:31Z","timestamp":1725468511493},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540648277"},{"type":"electronic","value":"9783540685326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055773","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T13:36:31Z","timestamp":1155821791000},"page":"239-247","source":"Crossref","is-referenced-by-count":4,"title":["Reducing AC-termination to termination"],"prefix":"10.1007","author":[{"given":"Maria C. F.","family":"Ferreira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Delia","family":"Kesner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurence","family":"Puel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"T. Aoto and Y. Toyama. Termination transformation by tree lifting ordering. In Proc. of the 9th Int. Conf. on Rewriting Techniques and Applications \u2014 RTA 98, volume 1379 of LNCS. Springer, 1998.","DOI":"10.1007\/BFb0052375"},{"key":"20_CR2","unstructured":"T. Arts. Automatically proving termination and innermost normalisation of term rewriting systems. PhD thesis, Universiteit Utrecht, May 1997."},{"issue":"2","key":"20_CR3","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/BF01810293","volume":"1","author":"F. Bellegarde","year":"1990","unstructured":"F. Bellegarde and P. Lescanne. Termination by completion. Applicable Algebra in Engineering, Communication and Computing, 1(2):79\u201396, 1990.","journal-title":"Applicable Algebra in Engineering, Communication and Computing"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"C. Delor and L. Puel. Extension of the associative path ordering to a chain of associative commutative symbols. In Proc. of the 5th Int. Conf. on Rewrite Techniques and Applications (RTA), number 690 in LNCS, pages 389\u2013404. Springer, 1993.","DOI":"10.1007\/3-540-56868-9_29"},{"issue":"3","key":"20_CR5","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):279\u2013301, 1982.","journal-title":"Theoretical Computer Science"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"M. C. F. Ferreira. Dummy Elimination in Equational Rewriting. In Proc. of the 7th Int. Conf. on Rewriting Techniques and Applications, volume 1103 of LNCS, pages 78\u201392. Springer, 1996.","DOI":"10.1007\/3-540-61464-8_44"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"M. C. F. Ferreira and D. Kesner and L. Puel. Reducing AC-Termination to Termination. Technical Report 1175, Universit\u00e9 Paris-Sud. 1998.","DOI":"10.1007\/BFb0055773"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"M. C. F. Ferreira and H. Zantema. Dummy elimination: making termination easier. In Fundamentals of Computation Theory, 10th Int. Conference FCT'95, volume 965 of LNCS, pages 243\u2013252. Springer, 1995.","DOI":"10.1007\/3-540-60249-6_56"},{"key":"20_CR10","unstructured":"S. Kamin and J. J. L\u00e9vy. Two generalizations of the recursive path ordering. University of Illinois, 1980."},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"D. Kapur and G. Sivakumar. A Total, Ground Path Ordering for Proving Termination of AC-Rewrire Systems. In Proc. of the 8th Int. Conf. on Rewriting Techniques and Applications \u2014 RTA '97, volume 1232 of LNCS. Springer, 1997.","DOI":"10.1007\/3-540-62950-5_67"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"D. Kapur, G. Sivakumar, and H. Zhang. A new method for proving termination of ac-rewrite systems. In Proc. of the 10th Conf. on Foundations of Software Technology and Theoretical Computer Science, volume 472 of LNCS, pages 133\u2013148. Springer, 1990.","DOI":"10.1007\/3-540-53487-3_40"},{"key":"20_CR13","unstructured":"J. W. Klop. Term rewriting systems. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume II, pages 1\u2013116. Oxford University Press, 1992."},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"C. March\u00e9. Normalized rewriting and normalized completion. In Proc. of the 9th IEEE Symposium on Logic in Computer Science, pages 394\u2013403, 1994.","DOI":"10.1109\/LICS.1994.316050"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"P. Narendran and M. Rusinowitch. Any ground associative-commutative theory has a finite canonical system. In Proc. of the 4th Int. Conf. on Rewriting Techniques and Applications, volume 488 of LNCS, pages 423\u2013434. Springer, 1991.","DOI":"10.1007\/3-540-53904-2_115"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"H. Osaki and A. Middeldorp. Type introduction for equational rewriting. In Proc. of the 4th Int. Symposium Logical Foundations of Computer Science \u2014 LFCS 97, volume 1234 of LNCS, pages 283\u2013293. Springer, 1997.","DOI":"10.1007\/3-540-63045-7_29"},{"key":"20_CR17","first-page":"273","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming, volume 1 \u2014 Logical Foundations","author":"D. A. Plaisted","year":"1993","unstructured":"D. A. Plaisted. Equational reasoning and term rewriting systems. In D. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 1 \u2014 Logical Foundations, pages 273\u2013364. Oxford Science Publications, Clarendon Press \u2014 Oxford, 1993."},{"key":"20_CR18","unstructured":"A. Rubio. A total AC-compatible ordering with RPO scheme, 1997. Draft."},{"key":"20_CR19","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/0304-3975(94)00276-2","volume":"142","author":"A. Rubio","year":"1995","unstructured":"A. Rubio and R. Nieuwenhuis. A precedence-based total AC-compatible ordering. Theoretical Computer Science, 142:209\u2013227, 1995.","journal-title":"Theoretical Computer Science"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"H. Xi. Towards automated termination proofs through \u201dfreezing\u201d. In Proc. of the 9 th Int. Conf. in Rewriting Techniques and Applications \u2014 RTA 98, volume 1379 of LNCS. Springer, 1998.","DOI":"10.1007\/BFb0052376"},{"key":"20_CR21","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1006\/jsco.1994.1003","volume":"17","author":"H. Zantema","year":"1994","unstructured":"H. Zantema. Termination of term rewriting: interpretation and type elimination. Journal of Symbolic Computation, 17:23\u201350, 1994.","journal-title":"Journal of Symbolic Computation"},{"key":"20_CR22","doi-asserted-by":"crossref","first-page":"89","DOI":"10.3233\/FI-1995-24124","volume":"24","author":"H. Zantema","year":"1995","unstructured":"H. Zantema. Termination of term rewriting by semantic labelling. Fundamenta Informaticae, 24:89\u2013105, 1995.","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055773","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,17]],"date-time":"2020-04-17T19:03:44Z","timestamp":1587150224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055773"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648277","9783540685326"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0055773","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}