{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:53:34Z","timestamp":1762458814387,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662013"},{"type":"electronic","value":"9783540486855"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48685-2_24","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:13:41Z","timestamp":1269897221000},"page":"286-300","source":"Crossref","is-referenced-by-count":11,"title":["Context-Sensitive AC-rewriting"],"prefix":"10.1007","author":[{"given":"M. C. F.","family":"Ferreira","sequence":"first","affiliation":[]},{"given":"A. L.","family":"Ribeiro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,11,5]]},"reference":[{"key":"24_CR1","first-page":"243","volume":"B","author":"N. Dershowitz","year":"1990","unstructured":"N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In Handbook of Theoretical Computer Science, volume B, chapter 6, pages 243\u2013320. Elsevier, 1990.","journal-title":"Handbook of Theoretical Computer Science"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"M. C. F. Ferreira and A. L. Ribeiro. Context-sensitive AC-rewriting (extended version). Draft, 1999.","DOI":"10.1007\/3-540-48685-2_24"},{"key":"24_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/BFb0047121","volume-title":"Proc. of the 7th Int. Conf. on Automated Deduction","author":"J.-P. Jouannaud","year":"1984","unstructured":"J.-P. Jouannaud and M. Mu\u00f1oz. Termination of a set of rules modulo a set of equations. In Proc. of the 7th Int. Conf. on Automated Deduction, volume 170 of LNCS, pages 175\u2013193. Springer, 1984."},{"key":"24_CR4","first-page":"1","volume":"II","author":"J. W. Klop","year":"1992","unstructured":"J. W. Klop. Term rewriting systems. In Handbook of Logic in Computer Science, volume II, pages 1\u2013116. Oxford University Press, 1992.","journal-title":"Handbook of Logic in Computer Science"},{"key":"24_CR5","unstructured":"D. S. Lankford. Canonical inference. Technical Report Memo ATP-36, Automatic Theorem Proving Project, University of Texas, Austin, 1975."},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"S. Lucas. Context-sensitive computations in functional and functional logic programs. The Journal of Functional and Logic Programming, 1998(1):1\u201361.","DOI":"10.1142\/9789814528849"},{"key":"24_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/3-540-60609-2_25","volume-title":"Proc. of the XXII Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM\u201995","author":"S. Lucas","year":"1995","unstructured":"S. Lucas. Fundamentals of context-sensitive rewriting. In Proc. of the XXII Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM\u201995, volume 1012 of LNCS, pages 405\u2013412. Springer, 1995."},{"key":"24_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1007\/3-540-61756-6_100","volume-title":"Proc. of the 8th Int. Symposium PLILP\u201996-Programming Languages: Implementations, Logics, and Programs","author":"S. Lucas","year":"1996","unstructured":"S. Lucas. Context-sensitive computations in confluent programs. In Proc. of the 8th Int. Symposium PLILP\u201996-Programming Languages: Implementations, Logics, and Programs, volume 1140 of LNCS, pages 408\u2013422. Springer, 1996."},{"key":"24_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/3-540-61440-0_122","volume-title":"Proc. of the 23rd Int. Colloquium on Automata, Languages and Programming, ICALP96","author":"S. Lucas","year":"1996","unstructured":"S. Lucas. Termination of context-sensitive rewriting by rewriting. In Proc. of the 23rd Int. Colloquium on Automata, Languages and Programming, ICALP96, volume 1099 of LNCS, pages 122\u2013133. Springer, 1996."},{"key":"24_CR10","unstructured":"S. Lucas. Reescritura con Restricciones de Reemplazamiento. PhD thesis, Universidad Politecnica de Valencia, October 1998. In Spanish."},{"key":"24_CR11","unstructured":"Z. Manna and S. Ness. On the termination of Markov algorithms. In Proc. of the 3rd Hawaii Int. Conf. on System Science, pages 789\u2013792, Honolulu, 1970."},{"key":"24_CR12","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1145\/322248.322251","volume":"28","author":"G. Peterson","year":"1981","unstructured":"G. Peterson and M. Stickel. Complete sets of reductions for some equational theories. Journal of the ACM, 28:233\u2013264, 1981.","journal-title":"Journal of the ACM"},{"key":"24_CR13","first-page":"273","volume":"1","author":"D. A. Plaisted","year":"1993","unstructured":"D. A. Plaisted. Equational reasoning and term rewriting systems. In Handbook of Logic in Artificial Intelligence and Logic Programming, volume 1, pages 273\u2013364. Oxford Science Publications, Clarendon Press-Oxford, 1993.","journal-title":"Handbook of Logic in Artificial Intelligence and Logic Programming"},{"key":"24_CR14","unstructured":"A. Rubio. A fully syntactic AC-RPO. In this volume."},{"key":"24_CR15","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of the 8th Int. Conf. on Rewriting Techniques and Applications, RTA\u201997","author":"H. Zantema","year":"1997","unstructured":"H. Zantema. Termination of context-sensitive rewriting. In Proc. of the 8th Int. Conf. on Rewriting Techniques and Applications, RTA\u201997, Lecture Notes in Computer Science. Springer, 1997."}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48685-2_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T19:16:50Z","timestamp":1739992610000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48685-2_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662013","9783540486855"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-48685-2_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}