{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,4]],"date-time":"2023-08-04T10:33:25Z","timestamp":1691145205604},"reference-count":13,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Processing Letters"],"published-print":{"date-parts":[[1998,7]]},"DOI":"10.1016\/s0020-0190(98)00084-2","type":"journal-article","created":{"date-parts":[[2003,4,23]],"date-time":"2003-04-23T20:36:00Z","timestamp":1051130160000},"page":"43-49","source":"Crossref","is-referenced-by-count":6,"title":["Extending reduction orderings to ACU-compatible reduction orderings"],"prefix":"10.1016","volume":"67","author":[{"given":"Uwe","family":"Waldmann","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0020-0190(98)00084-2_BIB1","series-title":"Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94","first-page":"1","article-title":"Associative-commutative superposition","author":"Bachmair","year":"1994"},{"key":"10.1016\/S0020-0190(98)00084-2_BIB2","series-title":"Rewriting Techniques and Applications, 3rd International Conference","first-page":"29","article-title":"Complete sets of reductions modulo associativity, commutativity and identity","author":"Baird","year":"1989"},{"key":"10.1016\/S0020-0190(98)00084-2_BIB3","series-title":"Handbook of Theoretical Computer Science","first-page":"243","article-title":"Rewrite systems","volume":"Vol. B","author":"Dershowitz","year":"1990"},{"key":"10.1016\/S0020-0190(98)00084-2_BIB4","series-title":"Automated Deduction \u2014 CADE-13, 13th International Conference on Automated Deduction","first-page":"388","article-title":"Theorem proving in cancellative abelian monoids","author":"Ganzinger","year":"1996"},{"issue":"1","key":"10.1016\/S0020-0190(98)00084-2_BIB5","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0304-3975(92)90165-C","article-title":"Termination and completion modulo associativity, commutativity and identity","volume":"104","author":"Jouannaud","year":"1992","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0020-0190(98)00084-2_BIB6","series-title":"Seventh Annual IEEE Symposium on Logic in Computer Science","first-page":"11","article-title":"Double-exponential complexity of computing a complete set of AC-unifiers","author":"Kapur","year":"1992"},{"issue":"3","key":"10.1016\/S0020-0190(98)00084-2_BIB7","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1006\/jsco.1996.0011","article-title":"Normalized rewriting: an alternative to rewriting modulo a set of equations","volume":"21","author":"March\u00e9","year":"1996","journal-title":"J. Symbolic Computation"},{"key":"10.1016\/S0020-0190(98)00084-2_BIB8","series-title":"Automated Deduction \u2014 CADE-13, 13th International Conference on Automated Deduction","first-page":"373","article-title":"Transforming termination by self-labelling","author":"Middeldorp","year":"1996"},{"issue":"2","key":"10.1016\/S0020-0190(98)00084-2_BIB9","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1145\/322248.322251","article-title":"Complete sets of reductions for some equational theories","volume":"28","author":"Peterson","year":"1981","journal-title":"J. ACM"},{"key":"10.1016\/S0020-0190(98)00084-2_BIB10","series-title":"Rewriting Techniques and Applications, 7th International Conference, RTA-96","first-page":"33","article-title":"Superposition theorem proving for abelian groups represented as integer modules","author":"Stuber","year":"1996"},{"key":"10.1016\/S0020-0190(98)00084-2_BIB11","article-title":"Cancellative Abelian Monoids in Refutational Theorem Proving","author":"Waldmann","year":"1997"},{"key":"10.1016\/S0020-0190(98)00084-2_BIB12","series-title":"CADE-15, 15th International Conference on Automated Deduction","article-title":"Superposition for divisible torsion-free abelian groups","author":"Waldmann","year":"1998"},{"key":"10.1016\/S0020-0190(98)00084-2_BIB13","article-title":"First-order theorem proving modulo equations","author":"Wertz","year":"1992"}],"container-title":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020019098000842?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020019098000842?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T22:28:07Z","timestamp":1556058487000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020019098000842"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,7]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1998,7]]}},"alternative-id":["S0020019098000842"],"URL":"https:\/\/doi.org\/10.1016\/s0020-0190(98)00084-2","relation":{},"ISSN":["0020-0190"],"issn-type":[{"value":"0020-0190","type":"print"}],"subject":[],"published":{"date-parts":[[1998,7]]}}}