{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T01:06:27Z","timestamp":1648947987166},"reference-count":6,"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\/bf01699466","type":"journal-article","created":{"date-parts":[[2005,5,15]],"date-time":"2005-05-15T07:15:04Z","timestamp":1116141304000},"page":"145-151","source":"Crossref","is-referenced-by-count":2,"title":["On reduced thue systems"],"prefix":"10.1007","volume":"18","author":[{"given":"Luquan","family":"Pan","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF01699466_CR1","doi-asserted-by":"crossref","unstructured":"R. Book, Thue systems and the Church-Rosser property: Replacement systems, specification of formal languages, and presentations of monoids, in L. J. Cummings (ed.),Combinatorics on Words: Progress and Perspectives, Academic Press, 1983, 1\u201338.","DOI":"10.1016\/B978-0-12-198820-3.50007-3"},{"key":"BF01699466_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. Comput. Mach. 29 171\u2013182 (1982).","journal-title":"J. Assoc. Comput. Mach."},{"key":"BF01699466_CR3","unstructured":"D. Kapur and P. Narendran, The Knuth-Bendix completion procedure and Thue systems, 3rdConf. Foundations of Software Technology and Theoretical Computer Science, Bangalore, India, December 1983."},{"key":"BF01699466_CR4","first-page":"61","volume":"93","author":"J. Matijacevi\u010d","year":"1967","unstructured":"J. Matijacevi\u010d, Simple examples of unsolvable canonical calculi,Proc. Steklov Inst. Mat. 93, 61\u2013110 (1967).","journal-title":"Proc. Steklov Inst. Mat."},{"key":"BF01699466_CR5","unstructured":"P. Narendran, Church-Rosser and related Thue systems, Report No. 84CRD176, General Electric Corporate Research and Development, Schenectady, N.Y., July 1984."},{"key":"BF01699466_CR6","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. Comput. Sci. 23, 339\u2013346 (1983).","journal-title":"Theoret. Comput. Sci."}],"container-title":["Mathematical Systems Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01699466.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01699466\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01699466","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\/BF01699466"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,12]]},"references-count":6,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1985,12]]}},"alternative-id":["BF01699466"],"URL":"https:\/\/doi.org\/10.1007\/bf01699466","relation":{},"ISSN":["0025-5661","1433-0490"],"issn-type":[{"value":"0025-5661","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,12]]}}}