{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T15:44:18Z","timestamp":1774626258359,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1985,12,1]],"date-time":"1985-12-01T00:00:00Z","timestamp":502243200000},"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":[[1985,12]]},"DOI":"10.1007\/bf01699465","type":"journal-article","created":{"date-parts":[[2005,5,15]],"date-time":"2005-05-15T07:15:04Z","timestamp":1116141304000},"page":"135-143","source":"Crossref","is-referenced-by-count":11,"title":["A note on thue systems with a single defining relation"],"prefix":"10.1007","volume":"18","author":[{"given":"Friedrich","family":"Otto","sequence":"first","affiliation":[]},{"given":"Celia","family":"Wrathall","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF01699465_CR1","first-page":"1967","volume":"85","author":"S. I. Adjan","year":"1966","unstructured":"S. I. Adjan,Defining relations and algorithmic problems for groups and semigroups, Proceedings of the Steklov Institute of Mathematics 85 (1966), Amer. Math. Soc., 1967.","journal-title":"Proceedings of the Steklov Institute of Mathematics"},{"key":"BF01699465_CR2","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 14, 1\u201316 (1980).","journal-title":"Revista Colombiana de Matematicas"},{"key":"BF01699465_CR3","unstructured":"J. Berstel, Congruences plus que parfaites et langages alg\u00e9briques,S\u00e9minaire d'Informatique Th\u00e9orique, Institut de Programmation, 1976\u201377, 123\u2013147."},{"key":"BF01699465_CR4","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, 171\u2013182 (1982).","journal-title":"J. Assoc. Comput. Mach."},{"key":"BF01699465_CR5","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, 57\u201360 (1983).","journal-title":"Math. Systems Theory"},{"key":"BF01699465_CR6","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 48, 137\u2013145 (1984).","journal-title":"Discrete Mathematics"},{"key":"BF01699465_CR7","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. Comp. Sci. 16, 223\u2013229 (1981).","journal-title":"Theoret. Comp. Sci."},{"key":"BF01699465_CR8","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/BF02771689","volume":"9","author":"Y. Cochet","year":"1971","unstructured":"Y. Cochet and M. Nivat, Une generalization des ensembles de Dyck,Israel J. Math. 9, 389\u2013395 (1971).","journal-title":"Israel J. Math."},{"key":"BF01699465_CR9","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. Comp. Mach. 27, 797\u2013821 (1980).","journal-title":"J. Assoc. Comp. Mach."},{"key":"BF01699465_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, AnO(|T|3) algorithm for testing the Church-Rosser property of Thue systems,Theoret. Comp. Sci. 35, 109\u2013114 (1985).","journal-title":"Theoret. Comp. Sci."},{"key":"BF01699465_CR11","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. Computing 6, 323\u2013350 (1977).","journal-title":"SIAM J. Computing"},{"key":"BF01699465_CR12","unstructured":"G. Lallement,Semigroups and combinatorial applications, Wiley-Interscience, 1979."},{"key":"BF01699465_CR13","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1016\/0021-8693(74)90146-X","volume":"32","author":"G. Lallement","year":"1974","unstructured":"G. Lallement, On monoids presented by a single relation,Journal of Algebra 32, 370\u2013388 (1974).","journal-title":"Journal of Algebra"},{"key":"BF01699465_CR14","unstructured":"M. Lothaire,Combinatorics on words, Addison-Wesley, 1983."},{"key":"BF01699465_CR15","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1307\/mmj\/1028998766","volume":"9","author":"R. C. Lyndon","year":"1962","unstructured":"R. C. Lyndon and M. P. Sch\u00fctzenberger, The equationa M =b N c P in a free group,Mich. Math. J. 9, 289\u2013298 (1962).","journal-title":"Mich. Math. J."},{"key":"BF01699465_CR16","volume-title":"Combinatorial group theory","year":"1976","unstructured":"W. Magnus, A. Karrass, and D. Solitar,Combinatorial group theory, 2nd Revised Ed., Dover Publications, New York, 1976.","edition":"2nd Revised"},{"key":"BF01699465_CR17","doi-asserted-by":"crossref","first-page":"223","DOI":"10.2307\/1968867","volume":"43","author":"M. H. A. Newman","year":"1942","unstructured":"M. H. A. Newman, On theories with a combinatorial definition of equivalence,Annals Math. 43, 223\u2013243 (1942).","journal-title":"Annals Math."},{"key":"BF01699465_CR18","unstructured":"M. Nivat (with M. Benois), Congruences parfaites et quasiparfaites,S\u00e9minaire Dubriel, 25e Ann\u00e9e, 1971\u201372, 7-01-09."},{"key":"BF01699465_CR19","doi-asserted-by":"crossref","unstructured":"M. O'Donnell,Computing in systems described by equations, Lecture Notes in Computer Science 58 (1977), Springer-Verlag.","DOI":"10.1007\/3-540-08531-9"},{"key":"BF01699465_CR20","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1016\/0304-3975(83)90039-7","volume":"23","author":"C. O'D\u00fanlaing","year":"1983","unstructured":"C. O'D\u00fanlaing, Undecidable questions related to Church-Rosser Thue systems,Theoret. Comp. Sci. 23, 339\u2013345 (1983).","journal-title":"Theoret. Comp. Sci."},{"key":"BF01699465_CR21","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/0304-3975(83)90060-9","volume":"25","author":"C. O'D\u00fanlaing","year":"1983","unstructured":"C. O'D\u00fanlaing, Infinite regular Thue systems,Theoret. Comp. Sci. 25, 171\u2013192 (1983).","journal-title":"Theoret. Comp. Sci."},{"key":"BF01699465_CR22","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1145\/321738.321750","volume":"20","author":"B. Rosen","year":"1973","unstructured":"B. Rosen, Tree manipulating systems and the Church-Rosser property,J. Assoc. Comp. Mach. 20, 160\u2013187 (1973).","journal-title":"J. Assoc. Comp. Mach."}],"container-title":["Mathematical Systems Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01699465.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01699465\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01699465","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T20:09:19Z","timestamp":1557259759000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01699465"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,12]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1985,12]]}},"alternative-id":["BF01699465"],"URL":"https:\/\/doi.org\/10.1007\/bf01699465","relation":{},"ISSN":["0025-5661","1433-0490"],"issn-type":[{"value":"0025-5661","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,12]]}}}