{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T02:38:12Z","timestamp":1773974292439,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642214929","type":"print"},{"value":"9783642214936","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21493-6_12","type":"book-chapter","created":{"date-parts":[[2011,6,20]],"date-time":"2011-06-20T12:42:44Z","timestamp":1308573764000},"page":"185-200","source":"Crossref","is-referenced-by-count":2,"title":["Rewriting in Varieties of Idempotent Semigroups"],"prefix":"10.1007","author":[{"given":"Ond\u0159ej","family":"Kl\u00edma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miroslav","family":"Korbel\u00e1\u0159","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Libor","family":"Pol\u00e1k","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/3-540-52885-7_102","volume-title":"10th International Conference on Automated Deduction","author":"F. Baader","year":"1990","unstructured":"Baader, F.: Rewrite Systems for Varieties of Semigroups. In: Stickel, M.E. (ed.) CADE 1990. LNCS, vol.\u00a0449, pp. 396\u2013410. Springer, Heidelberg (1990)"},{"key":"12_CR2","volume-title":"Term Rewriting and All That","author":"F. Baader","year":"1999","unstructured":"Baader, F., Nipkow, T.: Term Rewriting and All That. Camb. Univ. Press, Cambridge (1999)"},{"key":"12_CR3","first-page":"255","volume":"9","author":"A.P. Birjukov","year":"1970","unstructured":"Birjukov, A.P.: Varieties of Idempotent Semigroups. Algebra i Logika\u00a09, 255\u2013273 (1970); English translation in Algebra and Logic 9, 153\u2013164 (1971)","journal-title":"Algebra i Logika"},{"key":"12_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Universal Algebra","author":"S. Burris","year":"1981","unstructured":"Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Springer, New York (1981)"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1002\/mana.19710480118","volume":"48","author":"C.F. Fennemore","year":"1971","unstructured":"Fennemore, C.F.: All Varieties of Bands I, II. Math. Nachr.\u00a048, 237\u2013252, 253-262 (1971)","journal-title":"Math. Nachr."},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0021-8693(70)90073-6","volume":"15","author":"J.A. Gerhard","year":"1970","unstructured":"Gerhard, J.A.: The Lattice of Equational Classes of Idempotent Semigroups. J. Algebra\u00a015, 195\u2013224 (1970)","journal-title":"J. Algebra"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Kl\u00edma, O.: Ph.D. thesis: Unification Modulo Associativity and Idempotency (2003), http:\/\/www.math.muni.cz\/~klima\/Math\/Thesis\/thesis.html","DOI":"10.1007\/3-540-45687-2_35"},{"issue":"1","key":"12_CR8","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/PL00006013","volume":"61","author":"O. Neto","year":"2000","unstructured":"Neto, O., Sezinando, H.: Band Monoid Languages Revisited. Semigroup Forum\u00a061(1), 32\u201345 (2000)","journal-title":"Semigroup Forum"},{"issue":"2","key":"12_CR9","doi-asserted-by":"publisher","first-page":"223","DOI":"10.2307\/1968867","volume":"43","author":"M.H.A. Newman","year":"1942","unstructured":"Newman, M.H.A.: On Theories with a Combinatorial Definition of \u2019Equivalence\u2019. Annals of Mathematics\u00a043(2), 223\u2013243 (1942)","journal-title":"Annals of Mathematics"},{"key":"12_CR10","first-page":"365","volume-title":"Words, Languages & Combinatorics","author":"T.E. Nordahl","year":"1992","unstructured":"Nordahl, T.E.: On the Join of the Variety of All Bands and the Variety of All Commutative Semigroups via Conditional Rewrite Rules. In: Ito, M. (ed.) Words, Languages & Combinatorics, pp. 365\u2013372. World Scientific, Singapore (1992)"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BF02575527","volume":"32","author":"L. Pol\u00e1k","year":"1985","unstructured":"Pol\u00e1k, L.: On Varieties of Completely Regular Semigroups I. Semigroup Forum\u00a032, 97\u2013123 (1985)","journal-title":"Semigroup Forum"},{"issue":"3","key":"12_CR12","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/BF02575021","volume":"36","author":"L. Pol\u00e1k","year":"1987","unstructured":"Pol\u00e1k, L.: On Varieties of Completely Regular Semigroups II. Semigroup Forum\u00a036(3), 253\u2013284 (1987)","journal-title":"Semigroup Forum"},{"issue":"1","key":"12_CR13","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/BF02573590","volume":"25","author":"J.H. Siekmann","year":"1982","unstructured":"Siekmann, J.H., Szab\u00f3, P.: A Noetherian and Confluent Rewrite System for Idempotent Semigroups. Semigroup Forum\u00a025(1), 83\u2013110 (1982)","journal-title":"Semigroup Forum"},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0022-4049(87)90129-0","volume":"49","author":"C.C. Squier","year":"1987","unstructured":"Squier, C.C.: Word Problems and a Homological Finiteness Condition for Monoids. Journal of Pure and Applied Algebra\u00a049, 201\u2013217 (1987)","journal-title":"Journal of Pure and Applied Algebra"}],"container-title":["Lecture Notes in Computer Science","Algebraic Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21493-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T02:03:50Z","timestamp":1560305030000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21493-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214929","9783642214936"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21493-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}