{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T19:28:12Z","timestamp":1770578892764,"version":"3.49.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":13,"publisher":"Springer-Verlag","isbn-type":[{"value":"354013350X","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0032843","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T09:41:26Z","timestamp":1133430086000},"page":"207-212","source":"Crossref","is-referenced-by-count":7,"title":["Computations with rational subsets of confluent groups"],"prefix":"10.1007","author":[{"given":"Robert H.","family":"Gilman","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/3-540-07389-2_191","volume":"32","author":"A.V. Anisimov","year":"1975","unstructured":"A.V. Anisimov, Languages over free groups, Springer Lecture Notes in Computer Science 32 1975, 167\u2013171.","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"20_CR2","unstructured":"A.V. Anisimov, to appear."},{"key":"20_CR3","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1007\/BFb0000070","volume":"138","author":"R.V. Book","year":"1982","unstructured":"R.V. Book, The power of the Church-Rosser property for string rewriting systems, 6th Conf. on Automated Deduction, New York, 1982, Springer Lecture Notes in Computer Science 138 1982, 360\u2013368.","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"20_CR4","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0304-3975(82)90036-6","volume":"19","author":"R.V. Book","year":"1982","unstructured":"R.V. Book, M. Jantzen and C. Wrathall, Monadic Thue systems, Theor. Comp. Sci. 19 1982, 231\u2013251.","journal-title":"Theor. Comp. Sci."},{"key":"20_CR5","volume-title":"Anwendung von Reduktionssysteme auf das Wort-problem in der Gruppentheorie","author":"H. Bucken","year":"1979","unstructured":"H. Bucken, Anwendung von Reduktionssysteme auf das Wort-problem in der Gruppentheorie, Dissertation, Aachen 1979."},{"key":"20_CR6","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0021-8693(69)90070-2","volume":"13","author":"S. Eilenberg","year":"1969","unstructured":"S. Eilenberg and M.P. Schutzenberger, Rational sets in commutative monoids, J. Alg. 13 1969, 173\u2013191.","journal-title":"J. Alg."},{"key":"20_CR7","doi-asserted-by":"crossref","first-page":"544","DOI":"10.1016\/0021-8693(79)90238-2","volume":"57","author":"R. Gilman","year":"1979","unstructured":"R. Gilman, Presentations of groups and monoids, J. Alg. 57 1979, 544\u2013554.","journal-title":"J. Alg."},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"P. Johansen, Free groups and regular expressions, ACM Symposium on Theory of Computing, May 5\u20137, 1969, Marina del Rey, CA., 113\u2013128.","DOI":"10.1145\/800169.805426"},{"key":"20_CR9","first-page":"263","volume-title":"Computational Problems in Abstract Algebra","author":"D.E. Knuth","year":"1970","unstructured":"D.E. Knuth and P.B. Bendix, Simple word problems in universal algebras, in \"Computational Problems in Abstract Algebra\", J. Leech ed., Pergamon Pr., Oxford 1970, 263\u2013297."},{"key":"20_CR10","volume-title":"Combinatorial Group Theory","author":"R.C. Lyndon","year":"1977","unstructured":"R.C. Lyndon and P.E. Schupp, \"Combinatorial Group Theory\", Springer Verlag, Berlin 1977."},{"issue":"112","key":"20_CR11","first-page":"241","volume":"70","author":"K.A. Mihailova","year":"1966","unstructured":"K.A. Mihailova, The occurrence problem for direct products of groups, Mat. Sb. (N.S.) 70 (112) 1966, 241\u2013251.","journal-title":"Mat. Sb. (N.S.)"},{"key":"20_CR12","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1090\/S0273-0979-1981-14904-1","volume":"4","author":"D.E. Muller","year":"1981","unstructured":"D.E. Muller and P.E. Schupp, Context-free languages, groups, the theory of ends, second order logic, tiling problems, cellular automata, and vector addition systems, Bull. A.M.S. (N.S.) 4 1981, 331\u2013334.","journal-title":"Bull. A.M.S. (N.S.)"},{"key":"20_CR13","unstructured":"C. Sims, Lecture given at Symposium on Computational Group Theory, Durham 1982."}],"container-title":["Lecture Notes in Computer Science","EUROSAM 84"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0032843.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:07:30Z","timestamp":1607551650000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0032843"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354013350X"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0032843","relation":{},"subject":[]}}