{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,2]],"date-time":"2024-01-02T15:40:38Z","timestamp":1704210038235},"reference-count":33,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1993,5,1]],"date-time":"1993-05-01T00:00:00Z","timestamp":736214400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":7382,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[1993,5]]},"DOI":"10.1016\/0304-3975(93)90213-d","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T03:47:37Z","timestamp":1027655257000},"page":"119-165","source":"Crossref","is-referenced-by-count":12,"title":["On weakly confluent monadic string-rewriting systems"],"prefix":"10.1016","volume":"113","author":[{"given":"K.","family":"Madlener","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Narendran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Otto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0304-3975(93)90213-D_BIB1","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0022-0000(87)90015-8","article-title":"Groups and NTS languages","volume":"35","author":"Autebert","year":"1987","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0304-3975(93)90213-D_BIB2","series-title":"Formal Techniques in Artificial Intelligence - A Sourcebook","article-title":"Term rewriting and equational reasoning","author":"Avenhaus","year":"1990"},{"key":"10.1016\/0304-3975(93)90213-D_BIB3","series-title":"Canonical Equational Proofs","author":"Bachmair","year":"1991"},{"key":"10.1016\/0304-3975(93)90213-D_BIB4","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/322290.322301","article-title":"Confluent and other types of Thue systems","volume":"29","author":"Book","year":"1982","journal-title":"J. ACM"},{"key":"10.1016\/0304-3975(93)90213-D_BIB5","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0304-3975(83)90005-1","article-title":"Decidable sentences of Church-Rosser congruences","volume":"23","author":"Book","year":"1983","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(93)90213-D_BIB6","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0747-7171(87)80021-4","article-title":"Thue systems as rewriting systems","volume":"3","author":"Book","year":"1987","journal-title":"J. Symbolic Comput."},{"key":"10.1016\/0304-3975(93)90213-D_BIB7","first-page":"53","article-title":"Reduction systems and small cancellation theory","author":"B\u00fccken","year":"1979","journal-title":"Proc. 4th Workshop on Automated Deduction"},{"key":"10.1016\/0304-3975(93)90213-D_BIB8","series-title":"Computability and Unsolvability","author":"Davis","year":"1958"},{"key":"10.1016\/0304-3975(93)90213-D_BIB9","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1145\/359138.359142","article-title":"Proving termination with multiset orderings","volume":"22","author":"Dershowitz","year":"1979","journal-title":"Comm. ACM"},{"key":"10.1016\/0304-3975(93)90213-D_BIB10","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0304-3975(86)90117-9","article-title":"Complete semi-Thue systems for abelian groups","volume":"44","author":"Diekert","year":"1986","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(93)90213-D_BIB11","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/BF01388581","article-title":"The accessibility of finitely presented groups","volume":"81","author":"Dunwoody","year":"1985","journal-title":"Invent. Math."},{"key":"10.1016\/0304-3975(93)90213-D_BIB12","volume":"Vol. 6","author":"Ehrig","year":"1985"},{"key":"10.1016\/0304-3975(93)90213-D_BIB13","doi-asserted-by":"crossref","first-page":"544","DOI":"10.1016\/0021-8693(79)90238-2","article-title":"Presentations of groups and monoids","volume":"57","author":"Gilman","year":"1979","journal-title":"J. Algebra"},{"key":"10.1016\/0304-3975(93)90213-D_BIB14","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1145\/322217.322230","article-title":"Confluent reductions: abstract properties and applications to term rewriting systems","volume":"27","author":"Huet","year":"1980","journal-title":"J. ACM"},{"key":"10.1016\/0304-3975(93)90213-D_BIB15","series-title":"Lab. Rep. 283","article-title":"On the uniform halting problem for term rewriting systems","author":"Huet","year":"1978"},{"key":"10.1016\/0304-3975(93)90213-D_BIB16","series-title":"Confluent String Rewriting, EATCS Monograph Vol. 14","author":"Jantzen","year":"1988"},{"key":"10.1016\/0304-3975(93)90213-D_BIB17","doi-asserted-by":"crossref","first-page":"1052","DOI":"10.1137\/0214073","article-title":"The Knuth-Bendix completion procedure and Thue systems","volume":"14","author":"Kapur","year":"1985","journal-title":"SIAM J. Comput."},{"key":"10.1016\/0304-3975(93)90213-D_BIB18","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/0304-3975(85)90023-4","article-title":"A finite Thue system with decidable word problem and without equivalent finite canonical system","volume":"35","author":"Kapur","year":"1985","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(93)90213-D_BIB19","series-title":"Computational Problems in Abstract Algebra","first-page":"263","article-title":"Simple word problems in universal algebras","author":"Knuth","year":"1970"},{"key":"10.1016\/0304-3975(93)90213-D_BIB20","series-title":"Canonical Forms in Finitely Presented Algebras","author":"LeChenadec","year":"1986"},{"key":"10.1016\/0304-3975(93)90213-D_BIB21","series-title":"Combinatorial Group Theory","author":"Lyndon","year":"1977"},{"key":"10.1016\/0304-3975(93)90213-D_BIB22","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/0022-0000(83)90003-X","article-title":"Groups, the theory of ends, and context-free languages","volume":"26","author":"Muller","year":"1983","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0304-3975(93)90213-D_BIB23","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1007\/BF00279954","article-title":"Elements of finite order for finite weight-reducing and confluent Thue systems","volume":"25","author":"Narendran","year":"1988","journal-title":"Acta Inform."},{"key":"10.1016\/0304-3975(93)90213-D_BIB24","doi-asserted-by":"crossref","first-page":"223","DOI":"10.2307\/1968867","article-title":"On theories with a combinatorial definition of equivalence","volume":"43","author":"Newman","year":"1943","journal-title":"Ann. of Math."},{"key":"10.1016\/0304-3975(93)90213-D_BIB25","article-title":"Congruences parfaites et quasi-parfaites","author":"Nivat","year":"1971","journal-title":"Seminaire Dubreil"},{"key":"10.1016\/0304-3975(93)90213-D_BIB26","series-title":"Ph.D. Dissertation","article-title":"Finite and infinite regular Thue systems","author":"O'Dunlaing","year":"1981"},{"key":"10.1016\/0304-3975(93)90213-D_BIB27","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0304-3975(84)90090-2","article-title":"Some undecidability results for nonmonadic Church-Rosser Thue systems","volume":"33","author":"Otto","year":"1984","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(93)90213-D_BIB28","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/BF00268077","article-title":"On deciding whether a monoid is a free monoid or is a group","volume":"23","author":"Otto","year":"1986","journal-title":"Acta Inform."},{"key":"10.1016\/0304-3975(93)90213-D_BIB29","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0022-0000(87)90017-1","article-title":"On deciding the confluence of a finite string-rewriting system on a given congruence class","volume":"35","author":"Otto","year":"1987","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0304-3975(93)90213-D_BIB30","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/S0747-7171(08)80150-2","article-title":"When is an extension of a specification consistent? Decidable and undecidable cases","volume":"12","author":"Otto","year":"1991","journal-title":"J. Symbolic Comput."},{"key":"10.1016\/0304-3975(93)90213-D_BIB31","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/BF01614148","article-title":"Completing a finite special string-rewriting system on the congruence class of the empty word","volume":"2","author":"Otto","year":"1992","journal-title":"Appl. Algebra Engrg. Comm. Comput."},{"key":"10.1016\/0304-3975(93)90213-D_BIB32","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/BF01213858","article-title":"The problem of deciding confluence on a given congruence class is tractable for finite special string-rewriting systems","volume":"25","author":"Otto","year":"1992","journal-title":"Math. Systems Theory"},{"key":"10.1016\/0304-3975(93)90213-D_BIB33","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/BF01178585","article-title":"Decision problems for finite special string-rewriting systems that are confluent on some congruence class","volume":"28","author":"Otto","year":"1991","journal-title":"Acta Inform."}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030439759390213D?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030439759390213D?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,1,2]],"date-time":"2024-01-02T15:09:41Z","timestamp":1704208181000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/030439759390213D"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,5]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,5]]}},"alternative-id":["030439759390213D"],"URL":"https:\/\/doi.org\/10.1016\/0304-3975(93)90213-d","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[1993,5]]}}}