{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:36:12Z","timestamp":1759638972246},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551249"},{"type":"electronic","value":"9783540467373"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55124-7_11","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:48:32Z","timestamp":1330249712000},"page":"237-246","source":"Crossref","is-referenced-by-count":10,"title":["Confluence of one-rule Thue systems"],"prefix":"10.1007","author":[{"given":"C.","family":"Wrathall","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"11_CR1","first-page":"1","volume":"14","author":"J. Avenhaus","year":"1980","unstructured":"J. Avenhaus and K. Madlener. String matching and algorithmic problems in free groups. Revista Colombiana de Matematicas, vol. 14 (1980), 1\u201316.","journal-title":"Revista Colombiana de Matematicas"},{"key":"11_CR2","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. Comp. Mach., vol. 29 (1982), 171\u2013182.","journal-title":"J. Assoc. Comp. Mach."},{"key":"11_CR3","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, vol. 16 (1983), 57\u201360.","journal-title":"Math. Systems Theory"},{"key":"11_CR4","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0012-365X(84)90177-8","volume":"48","author":"R. Book","year":"1984","unstructured":"R. Book. Homogeneous Thue systems and the Church-Rosser property. Discrete Mathematics, vol. 48 (1984), 137\u2013145.","journal-title":"Discrete Mathematics"},{"key":"11_CR5","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'D\u00fanlaing. Testing for the Church-Rosser property. Theoret. Comput. Sci., vol. 16 (1981), 223\u2013229.","journal-title":"Theoret. Comput. Sci."},{"key":"11_CR6","unstructured":"V. Diekert and C. Wrathall. On confluence of one-rule trace rewriting, in preparation."},{"key":"11_CR7","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1016\/0022-0000(83)90002-8","volume":"26","author":"Z. Galil","year":"1983","unstructured":"Z. Galil and J. Seiferas. Time-space optimal string matching. J. Comput. Systems Sci., vol. 26 (1983), 280\u2013294.","journal-title":"J. Comput. Systems Sci."},{"key":"11_CR8","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"G. Huet","year":"1989","unstructured":"G. Huet. Confluent reductions: abstract properties and applications to term rewriting systems. J. Assoc. Comput. Mach., vol. 27 (1989), 797\u2013821.","journal-title":"J. Assoc. Comput. Mach."},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"M. Jantzen. Confluent String Rewriting, EATCS Monographs on Theoretical Computer Science 14, Springer-Verlag, 1988.","DOI":"10.1007\/978-3-642-61549-8"},{"key":"11_CR10","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(85)90008-8","volume":"35","author":"D. Kapur","year":"1985","unstructured":"D. Kapur, M. Krishnamoorthy, R. McNaughton and P. Narendran. An O(\u00a6T\u00a6 3) algorithm for testing the Church-Rosser property of Thue systems. Theoret. Comput. Sci., vol. 35 (1985), 109\u2013114.","journal-title":"Theoret. Comput. Sci."},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/0304-3975(85)90023-4","volume":"35","author":"D. Kapur","year":"1985","unstructured":"D. Kapur and P. Narendran. A finite Thue system with decidable word problem and without equivalent finite canonical system. Theoret. Comput. Sci., vol. 35 (1985), 337\u2013344.","journal-title":"Theoret. Comput. Sci."},{"key":"11_CR12","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1137\/0206024","volume":"6","author":"D. Knuth","year":"1977","unstructured":"D. Knuth, J. Morris and V. Pratt. Fast pattern matching in strings. SIAM J. Comput., vol. 6 (1977), 323\u2013350.","journal-title":"SIAM J. Comput."},{"key":"11_CR13","unstructured":"W. Kurth. Termination und Confluenz von Semi-Thue-Systems mit nur einer Regel, Dissertation, Mathematische-Naturwissenschaftliche Fakult\u00e4t, Technische Universit\u00e4t Clausthal, Chapter 6, 1990."},{"key":"11_CR14","volume-title":"Combinatorics on Words","author":"M. Lothaire","year":"1983","unstructured":"M. Lothaire. Combinatorics on Words, Addison-Wesley, Reading, Mass., 1983."},{"key":"11_CR15","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, vol. 18 (1985), 135\u2013143.","journal-title":"Math. Systems Theory"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"C. Wrathall. Confluence of one-rule Thue systems. Tech. Report 24, Universit\u00e4t W\u00fcrzburg, January, 1991.","DOI":"10.1007\/3-540-55124-7_11"}],"container-title":["Lecture Notes in Computer Science","Word Equations and Related Topics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55124-7_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:43Z","timestamp":1605646663000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55124-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551249","9783540467373"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-55124-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}