{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,5]],"date-time":"2023-02-05T17:29:57Z","timestamp":1675618197929},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1995,7,1]],"date-time":"1995-07-01T00:00:00Z","timestamp":804556800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Systems Theory"],"published-print":{"date-parts":[[1995,7]]},"DOI":"10.1007\/bf01185401","type":"journal-article","created":{"date-parts":[[2005,2,18]],"date-time":"2005-02-18T16:49:28Z","timestamp":1108745368000},"page":"341-361","source":"Crossref","is-referenced-by-count":6,"title":["On confluence of one-rule trace-rewriting systems"],"prefix":"10.1007","volume":"28","author":[{"given":"C.","family":"Wrathall","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Diekert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/322290.322301","volume":"29","author":"R. Book","year":"1982","unstructured":"R. Book, Confluent and other types of Thue systems,J. Assoc. Comput. Mach. 29 (1982), 171?182.","journal-title":"J. Assoc. Comput. Mach."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BF01744568","volume":"16","author":"R. Book","year":"1983","unstructured":"R. Book, A note on special Thue systems with a single defining relation,Math. Systems Theory 16 (1983), 57?60.","journal-title":"Math. Systems Theory"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0020-0190(87)90032-9","volume":"26","author":"R. Book","year":"1987","unstructured":"R. Book and H.-N. Liu, Word problems and rewriting in a free partially commutative monoid,Inform. Process. Lett. 26 (1987), 29?32.","journal-title":"Inform. Process. Lett."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(81)90078-5","volume":"16","author":"R. Book","year":"1981","unstructured":"R. Book and C. O'Dunlaing, Testing for the Church-Rosser property,Theoret. Comput Sci. 16 (1981), 223?229.","journal-title":"Theoret. Comput Sci."},{"key":"CR5","first-page":"241","volume":"35","author":"M. Clerbout","year":"1985","unstructured":"M. Clerbout and M. Latteux, Partial commutations and faithful rational transductions,Theoret. Comput. Sci. 35 (1985), 241?254.","journal-title":"Theoret. Comput. Sci."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0304-3975(85)90013-1","volume":"35","author":"R. Cori","year":"1985","unstructured":"R. Cori and Y. M\ufffdtivier, Recognizable subsets of some partially abelian monoids,Theoret. Comput. Sci. 35 (1985), 179?189.","journal-title":"Theoret. Comput. Sci."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1051\/ita\/1985190100211","volume":"19","author":"R. Cori","year":"1985","unstructured":"R. Cori and D. Perrin, Automates et commutations partielles,RAIRO Inform. Th\ufffdor. 19 (1985), 21?32.","journal-title":"RAIRO Inform. Th\ufffdor."},{"key":"CR8","first-page":"262","volume-title":"Lecture Notes in Computer Science, Vol. 324","author":"M. Dauchet","year":"1988","unstructured":"M. Dauchet, Termination of rewriting is undecidable in the one rule case,Proc. MFCS, Lecture Notes in Computer Science, Vol. 324, Springer-Verlag, Berlin, 1988, pp. 262?268."},{"key":"CR9","series-title":"Handbook of Theoretical Computer Science, Vol. B","first-page":"243","volume-title":"Formal Models and Semantics","author":"N. Dershowitz","year":"1990","unstructured":"N. Dershowitz and J.-P. Jouannaud, Rewrite systems, inFormal Models and Semantics (J. van Leeuwen, ed.), Handbook of Theoretical Computer Science, Vol. B, Eisevier, Amsterdam, 1990, pp. 243?320."},{"key":"CR10","first-page":"42","volume-title":"Lecture Notes in Computer Science, Vol. 267","author":"V. Diekert","year":"1987","unstructured":"V. Diekert, On the Knuth-Bendix completion for concurrent processes,Proc. ICALP, Lecture Notes in Computer Science, Vol. 267, Springer-Verlag, Berlin, 1987, pp. 42?53."},{"key":"CR11","volume-title":"Lecture Notes in Computer Science, Vol. 454","author":"V. Diekert","year":"1990","unstructured":"V. Diekert,Combinatorics on Traces, Lecture Notes in Computer Science, Vol. 454, Springer-Verlag, Berlin, 1990."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0304-3975(86)90028-9","volume":"46","author":"C. Duboc","year":"1986","unstructured":"C. Duboc, On some equations in free partially commutative monoids,Theoret. Comput. Sci. 46 (1986), 159?174.","journal-title":"Theoret. Comput. Sci."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"G. Huet","year":"1980","unstructured":"G. Huet, Confluent reductions: abstract properties and applications to term rewriting systems,J. Assoc. Comput. Mach. 27 (1980), 797?821.","journal-title":"J. Assoc. Comput. Mach."},{"key":"CR14","volume-title":"EATCS Monographs on Theoretical Computer Science, Vol. 14","author":"M. Jantzen","year":"1988","unstructured":"M. Jantzen,Confluent String Rewriting, EATCS Monographs on Theoretical Computer Science, Vol. 14, Springer-Verlag, New York, 1988."},{"key":"CR15","volume-title":"Dissertation, Mathematisch-Naturwissenschaftliche Fakult\ufffdt","author":"W. Kurth","year":"1990","unstructured":"W. Kurth, Termination und Confluenz von Semi-Thue-Systems mit nur einer Regel, Dissertation, Mathematisch-Naturwissenschaftliche Fakult\ufffdt, Technische Universit\ufffdt Clausthal, 1990, Kapitel 6."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1016\/0890-5401(90)90010-F","volume":"89","author":"H.-N. Liu","year":"1990","unstructured":"H.-N. Liu, C. Wrathall, and K. Zeger, Efficient solution of some problems in free partially commutative monoids,Inform, and Comput. 89 (1990), 180?198.","journal-title":"Inform, and Comput."},{"key":"CR17","volume-title":"Combinatorics on Words","author":"M. Lothaire","year":"1983","unstructured":"M. Lothaire,Combinatorics on Words, Addison-Wesley, Reading, MA, 1983."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0304-3975(85)90006-4","volume":"35","author":"Y. M\ufffdtivier","year":"1985","unstructured":"Y. M\ufffdtivier, Calcul de longeurs de chaines de reecriture dans la monoide libre,Theoret. Comput. Sci. 35 (1985), 71?87.","journal-title":"Theoret. Comput. Sci."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0304-3975(84)90133-6","volume":"31","author":"P. Narendran","year":"1984","unstructured":"P. Narendran and R. McNaughton, The undecidability of the preperfectness of Thue systems,Theoret. Comput. Sci. 31 (1984), 165?174.","journal-title":"Theoret. Comput. Sci."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0020-0190(88)90049-X","volume":"29","author":"P. Narendran","year":"1988","unstructured":"P. Narendran and F. Otto, Preperfectness is undecidable for Thue systems containing only length-reducing rales and a single commutation rule,Inform. Process. Lett. 29 (1988), 125?130.","journal-title":"Inform. Process. Lett."},{"key":"CR21","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/0304-3975(89)90019-4","volume":"67","author":"F. Otto","year":"1989","unstructured":"F. Otto, On deciding confluence of finite string-rewriting systems modulo partial commutativity,Theoret. Comput. Sci. 67 (1989), 19?35.","journal-title":"Theoret. Comput. Sci."},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"F. Otto, On confluence versus strong confluence for one-rule trace-rewriting systems,Math. Systems Theory, this issue, pp. 363?384.","DOI":"10.1007\/BF01185402"},{"key":"CR23","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/BF01699465","volume":"18","author":"F. Otto","year":"1985","unstructured":"F. Otto and C. Wrathall, A note on Thue systems with a single defining relation,Math. Systems Theory 18 (1985), 135?143.","journal-title":"Math. Systems Theory"},{"key":"CR24","unstructured":"F. Otto and C. Wrathall, Characterizations of Overlaps in Free Partially Commuative Monoids, Interner Bericht 184\/88, Fachbereich Informatik, Universit\ufffdt Kaiserslautem, 1988."},{"key":"CR25","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1016\/0022-0000(91)90010-3","volume":"42","author":"F. Otto","year":"1991","unstructured":"F. Otto and C. Wrathall, Overlaps in free partially commutative monoids,J. Comput. System Sci. 42 (1991), 186?198.","journal-title":"J. Comput. System Sci."},{"key":"CR26","series-title":"Lecture Notes in Computer Science, Vol. 572","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/3-540-55124-7_11","volume-title":"Word Equations and Related Topics","author":"C. Wrathall","year":"1992","unstructured":"C. Wrathall, Confluence of one-rule Thue systems, inWord Equations and Related Topics (K. U. Schulz, ed.), Lecture Notes in Computer Science, Vol. 572, Springer-Verlag, Berlin, 1992, pp. 237?246."}],"container-title":["Mathematical Systems Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01185401.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01185401\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01185401","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T21:16:16Z","timestamp":1586121376000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01185401"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,7]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1995,7]]}},"alternative-id":["BF01185401"],"URL":"https:\/\/doi.org\/10.1007\/bf01185401","relation":{},"ISSN":["0025-5661","1433-0490"],"issn-type":[{"value":"0025-5661","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,7]]}}}