{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:55:48Z","timestamp":1762458948599},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614647"},{"type":"electronic","value":"9783540685968"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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":[[1996]]},"DOI":"10.1007\/3-540-61464-8_70","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:40:08Z","timestamp":1330274408000},"page":"416-419","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["CiME: Completion modulo E"],"prefix":"10.1007","author":[{"given":"Evelyne","family":"Contejean","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claude","family":"March\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"33_CR1","first-page":"29","volume-title":"LNCS 355","author":"T. Baird","year":"1989","unstructured":"T. Baird, G. Peterson, and R. Wilkerson. Complete sets of reductions modulo Associativity, Commutativity and Identity. In Proc. 3rd Rewriting Techniques and Applications, Chapel Hill, LNCS 355, pages 29\u201344. Springer-Verlag, Apr. 1989."},{"key":"33_CR2","volume-title":"Lecture Notes in Computer Science","author":"A. Boudet","year":"1996","unstructured":"A. Boudet, E. Contejean, and C. March\u00e9. AC-complete unification and its application to theorem proving. In H. Ganzinger, editor, 7th International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science, Rutgers University, NJ, USA, July 1996. Springer-Verlag. To appear."},{"key":"33_CR3","volume-title":"PhD thesis","author":"B. Buchberger","year":"1965","unstructured":"B. Buchberger. An Algorithm for Finding a Basis for the Residue Class Ring of a Zero-Dimensional Ideal. PhD thesis, University of Innsbruck, Austria, 1965. (in German)."},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"B. Buchberger and R. Loos. Algebraic simplification. In Computer Algebra, Symbolic and Algebraic Computation. Computing Supplementum 4. Springer-Verlag, 1982.","DOI":"10.1145\/1089310.1089312"},{"key":"33_CR5","volume-title":"Rapport de DEA","author":"S. Eker","year":"1993","unstructured":"S. Eker. Improving the efficiency of AC matching and unification. Rapport de DEA, INRIA Lorraine, 1993."},{"issue":"4","key":"33_CR6","doi-asserted-by":"publisher","first-page":"1155","DOI":"10.1137\/0215084","volume":"15","author":"J.-P. Jouannaud","year":"1986","unstructured":"J.-P. Jouannaud and H. Kirchner. Completion of a set of rules modulo a set of equations. SIAM J. Comput., 15(4):1155\u20131194, 1986.","journal-title":"SIAM J. Comput."},{"key":"33_CR7","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0304-3975(92)90165-C","volume":"104","author":"J.-P. Jouannaud","year":"1992","unstructured":"J.-P. Jouannaud and C. March\u00e9. Termination and completion modulo associativity, commutativity and identity. Theoretical Comput. Sci., 104:29\u201351, 1992.","journal-title":"Theoretical Comput. Sci."},{"key":"33_CR8","doi-asserted-by":"crossref","unstructured":"D. E. Knuth and P. B. Bendix. Simple word problems in universal algebras. In J. Leech, editor, Computational Problems in Abstract Algebra, pages 263\u2013297. Pergamon Press, 1970.","DOI":"10.1016\/B978-0-08-012975-4.50028-X"},{"key":"33_CR9","volume-title":"Research Report Memo ATP-37","author":"D. S. Lankford","year":"1977","unstructured":"D. S. Lankford and A. M. Ballantyne. Decision procedures for simple equational theories with permutative axioms: Complete sets of permutative reductions. Research Report Memo ATP-37, Department of Mathematics and Computer Science, University of Texas, Austin, Texas, USA, Aug. 1977."},{"key":"33_CR10","volume-title":"The Caml Light system, release 0.5","author":"X. Leroy","year":"1992","unstructured":"X. Leroy and M. Mauny. The Caml Light system, release 0.5. INRIA, Rocquencourt, 1992."},{"key":"33_CR11","first-page":"214","volume-title":"Term reduction systems and algebraic algorithms","author":"R. Loos","year":"1981","unstructured":"R. Loos. Term reduction systems and algebraic algorithms. In Proceedings of the Fifth GI Workshop on Artificial Intelligence, pages 214\u2013234, Bad Honnef, West Germany, 1981. Available as Informatik Fachberichte, Vol. 47."},{"key":"33_CR12","first-page":"394","volume-title":"Normalised rewriting and normalised completion","author":"C. March\u00e9","year":"1994","unstructured":"C. March\u00e9. Normalised rewriting and normalised completion. In Proceedings of the Ninth Annual IEEE Symposium on Logic in Computer Science, pages 394\u2013403, Paris, France, July 1994. IEEE Comp. Soc. Press."},{"key":"33_CR13","doi-asserted-by":"crossref","unstructured":"C. March\u00e9. Normalized rewriting: an alternative to rewriting modulo a set of equations. Journal of Symbolic Computation, 1996. to appear.","DOI":"10.1006\/jsco.1996.0011"},{"issue":"2","key":"33_CR14","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1145\/322248.322251","volume":"28","author":"G. E. Peterson","year":"1981","unstructured":"G. E. Peterson and M. E. Stickel. Complete sets of reductions for some equational theories. J. ACM, 28(2):233\u2013264, Apr. 1981.","journal-title":"J. ACM"}],"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-61464-8_70","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:41:18Z","timestamp":1558255278000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61464-8_70"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614647","9783540685968"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-61464-8_70","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}