{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:21Z","timestamp":1725663441146},"publisher-location":"Berlin, Heidelberg","reference-count":120,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540510819"},{"type":"electronic","value":"9783540461494"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51081-8_112","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:36:38Z","timestamp":1330202198000},"page":"234-262","source":"Crossref","is-referenced-by-count":2,"title":["An equational logic sampler"],"prefix":"10.1007","author":[{"given":"George F.","family":"McNulty","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"18_CR1","volume-title":"On some points of the theory of recursive functions","author":"J. W. Addison","year":"1954","unstructured":"J. W. Addison [1954] On some points of the theory of recursive functions, Ph.D. Thesis, University of Wisconsin, Madison."},{"key":"18_CR2","first-page":"13","volume":"23","author":"S. I. Adjan","year":"1958","unstructured":"S. I. Adjan [1958] On algorithmic problems in effectively complete classes of groups (Russian), Doklady Akad. Nauk SSSR23, 13\u201316.","journal-title":"Doklady Akad. Nauk SSSR"},{"key":"18_CR3","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0001-8708(77)90056-1","volume":"24","author":"K. Baker","year":"1977","unstructured":"K. Baker [1977] Finite equational bases for finite algebras in congruence distributive varieties, Advances in Mathematics24, 207\u2013243.","journal-title":"Advances in Mathematics"},{"key":"18_CR4","first-page":"3","volume":"51","author":"K. Baker","year":"1987","unstructured":"K. Baker, G. McNulty, and H. Werner [1987] The finitely based varieties of graph algebras, Acta Scient. Math. (Szeged)51, 3\u201315.","journal-title":"Acta Scient. Math. (Szeged)"},{"key":"18_CR5","unstructured":"K. Baker, G. McNulty, and H. Werner [1989] Shift-automorphism methods for inherently nonfinitely based varieties of algebras, Czechoslovak Math. J. (to appear)."},{"key":"18_CR6","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1007\/BF00271645","volume":"21","author":"G. Bauer","year":"1984","unstructured":"G. Bauer and F. Otto [1984] Finite complete rewriting systems and the complexity of the word problem, Acta Informatica21, 521\u2013540.","journal-title":"Acta Informatica"},{"key":"18_CR7","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/BF02219442","volume":"9","author":"A. D. Bol'bot","year":"1970","unstructured":"A. D. Bol'bot [1970] Varieties of \u03a9-algebras, Algebra i Logika9, 406\u2013415; English Translation Algebra and Logic9, 244\u2013248.","journal-title":"Algebra i Logika"},{"key":"18_CR8","first-page":"39","volume-title":"Rewriting Techniques and Applications","author":"R. Book","year":"1987","unstructured":"R. Book [1987] Thue systems as rewriting systems, in Jouannaud [1987], pp. 39\u201368."},{"key":"18_CR9","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/S1385-7258(54)50033-8","volume":"16","author":"W. Boone","year":"1954","unstructured":"W. Boone [1954] Certain simple unsolvable problems in group theory, Indag. Math.16, 231\u2013237.","journal-title":"Indag. Math."},{"key":"18_CR10","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1112\/blms\/14.2.119","volume":"14","author":"R. Bryant","year":"1982","unstructured":"R. Bryant [1982] The laws of finite pointed groups, Bull. London Math. Soc.14, 119\u2013123.","journal-title":"Bull. London Math. Soc."},{"key":"18_CR11","first-page":"3","volume-title":"Rewriting Techniques and Applications","author":"B. Buchberger","year":"1987","unstructured":"B. Buchberger [1987] History and basic features of the critical-pair\/completion procedure, in Jouannaud [1987], pp. 3\u201338."},{"key":"18_CR12","first-page":"37","volume":"30","author":"S. Burris","year":"1971","unstructured":"S. Burris and E. Nelson [1971a] Embedding the dual of \u03a0 m in the lattice of equational classes of commutative semigroups, Proc. Amer. Math. Soc.30, 37\u201339.","journal-title":"Proc. Amer. Math. Soc."},{"key":"18_CR13","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/BF02944986","volume":"1","author":"S. Burris","year":"1971","unstructured":"[1971b] Embedding the dual of \u03a0\u221e in the lattice of equational classes of semigroups, Algebra Universalis 1, 248\u2013253.","journal-title":"Algebra Universalis"},{"key":"18_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Universal Algebra","author":"S. Burris","year":"1981","unstructured":"S. Burris and H. P. Sankappanavar [1981] A Course in Universal Algebra, Springer-Verlag, New York."},{"key":"18_CR15","volume-title":"Universal Algebra","author":"P.M. Cohn","year":"1965","unstructured":"P.M. Cohn [1965] Universal Algebra, Harper & Row, New York."},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"P.M. Cohn [1981] Universal Algebra, second edition, D. Reidel, Dordrecht, Holland.","DOI":"10.1007\/978-94-009-8399-1"},{"key":"18_CR17","doi-asserted-by":"crossref","first-page":"167","DOI":"10.4153\/CMB-1969-016-6","volume":"12","author":"A. Day","year":"1969","unstructured":"A. Day [1969] A characterization of modularity of congruence lattices of algebras, Canad. Math. Bull.12, 167\u2013173.","journal-title":"Canad. Math. Bull."},{"key":"18_CR18","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/BF01448979","volume":"53","author":"R. Dedekind","year":"1900","unstructured":"R. Dedekind [1900] \u00dcber die von drei Moduln erzeugte Dualgruppe, Math. Ann.53, 371\u2013403.","journal-title":"Math. Ann."},{"key":"18_CR19","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1007\/BF01456932","volume":"71","author":"M. Dehn","year":"1911","unstructured":"M. Dehn [1911] \u00dcber unendlicher diskontinuierliche Gruppen, Math. Ann.71, 116\u2013144.","journal-title":"Math. Ann."},{"key":"18_CR20","first-page":"69","volume-title":"Rewriting Techniques and Applications","author":"N. Dershowitz","year":"1987","unstructured":"N. Dershowitz [1987] Termination of rewriting, in Jouannaud [1987], pp. 69\u2013116."},{"key":"18_CR21","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1112\/jlms\/s2-1.1.399","volume":"1","author":"T. Evans","year":"1969","unstructured":"T. Evans [1969] Some connections between residual finiteness, finite embeddability and the word problem, J. London Math. Soc.1, 399\u2013403.","journal-title":"J. London Math. Soc."},{"key":"18_CR22","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1090\/S0002-9904-1978-14516-9","volume":"84","author":"T. Evans","year":"1978","unstructured":"[1978] Word problems, Bull. Amer. Math. Soc. 84, 789\u2013802.","journal-title":"Bull. Amer. Math. Soc."},{"key":"18_CR23","unstructured":"W. J. Feeney [1954] Certain Unsolvable Problems in the Theory of Cancellation Semigroups, Ph.D. Thesis, Catholic University of America."},{"key":"18_CR24","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1090\/S0002-9947-1980-0576864-X","volume":"261","author":"R. Freese","year":"1980","unstructured":"R. Freese [1980] Free modular lattices, Trans. Amer. Math. Soc.261, 81\u201391.","journal-title":"Trans. Amer. Math. Soc."},{"key":"18_CR25","series-title":"Lecture Note in Mathematics","volume-title":"Universal Algebra and Lattice Theory, Proceedings, Puebla 1982","year":"1983","unstructured":"R. Freese and O. Garcia, eds. [1983] Universal Algebra and Lattice Theory, Proceedings, Puebla 1982, Lecture Note in Mathematics, vol. 1004, Springer-Verlag, Berlin."},{"key":"18_CR26","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1090\/S0002-9947-1981-0603772-9","volume":"264","author":"R. Freese","year":"1981","unstructured":"R. Freese and R. McKenzie [1981] Residually small varieties with modular congruence lattices, Trans. Amer. Math. Soc.264, 419\u2013430.","journal-title":"Trans. Amer. Math. Soc."},{"key":"18_CR27","series-title":"London Mathematical Society Lecture Note Series","volume-title":"Commutator Theory for Congruence Modular Varieties","author":"R. Freese","year":"1987","unstructured":"[1987] Commutator Theory for Congruence Modular Varieties, London Mathematical Society Lecture Note Series vol. 125, 277pp., Cambridge University Press, Cambridge, England."},{"key":"18_CR28","volume-title":"Algebras, Lattices, Varieties, Volume II","author":"R. Freese","year":"1989","unstructured":"R. Freese, R. McKenzie, G. McNulty, and W. Taylor [1989] Algebras, Lattices, Varieties, Volume II, Wadsworth & Brook\/Cole, Monterey, CA (to appear)."},{"key":"18_CR29","series-title":"University Series in Higher Mathematics","volume-title":"Universal Algebra","author":"G. Gr\u00e4tzer","year":"1968","unstructured":"G. Gr\u00e4tzer [1968] Universal Algebra, University Series in Higher Mathematics, D. Van Nostrand Company, New York."},{"key":"18_CR30","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal Algebra","author":"G. Gr\u00e4tzer","year":"1979","unstructured":"[1979] Universal Algebra, Second edition of Gr\u00e4tzer [1968], Springer-Verlag, New York, pp. 581."},{"key":"18_CR31","unstructured":"R. Gurevi\u010d [1989] Equational theory of positive numbers with exponentiation is not finitely axiomatizable, Annals of Pure and Applied Logic (to appear)."},{"key":"18_CR32","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1080\/00029890.1977.11994433","volume":"84","author":"L. Henkin","year":"1977","unstructured":"L. Henkin [1977] The logic of equality, Amer. Math. Monthly84, 597\u2013612.","journal-title":"Amer. Math. Monthly"},{"key":"18_CR33","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1007\/BF01455951","volume":"256","author":"C. Herrmann","year":"1983","unstructured":"C. Herrmann [1983] On the word problem for the modular lattice with four free generators, Math. Ann.256, 513\u2013527.","journal-title":"Math. Ann."},{"key":"18_CR34","volume-title":"Contemporary Mathematics, Vol. 76","author":"D. Hobby","year":"1988","unstructured":"D. Hobby and R. McKenzie [1988] The Structure of Finite Algebras (Tame Congruence Theory), Contemporary Mathematics, Vol. 76, American Mathematical Society, Providence, RI."},{"key":"18_CR35","series-title":"Rapport Laboria","volume-title":"On the uniform halting problem for term rewriting systems","author":"G. Huet","year":"1978","unstructured":"G. Huet and D. Lankford [1978] On the uniform halting problem for term rewriting systems, Rapport Laboria 283, Institut de Recherche en Informatique eten Automatique, Le Chesnay, France."},{"key":"18_CR36","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1080\/00029890.1964.11992212","volume":"71","author":"E. Jacobs","year":"1964","unstructured":"E. Jacobs and R. Schwabauer [1964] The lattice of equational classes of algebras with one unary operation, Amer. Math. Monthly71, 151\u2013155.","journal-title":"Amer. Math. Monthly"},{"key":"18_CR37","doi-asserted-by":"crossref","first-page":"159","DOI":"10.4064\/cm-20-2-159-179","volume":"20","author":"J. Je\u017eek","year":"1969","unstructured":"J. Je\u017eek [1969] Primitive classes of algebras with unary and nullary operations, Colloq. Math.20, 159\u2013179.","journal-title":"Colloq. Math."},{"key":"18_CR38","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/BF02485826","volume":"6","author":"J. Je\u017eek","year":"1976","unstructured":"[1976] Intervals in the lattice of varieties, Algebra Universalis 6, 147\u2013158.","journal-title":"Algebra Universalis"},{"key":"18_CR39","doi-asserted-by":"crossref","first-page":"127","DOI":"10.21136\/CMJ.1981.101731","volume":"31","author":"J. Je\u017eek","year":"1981","unstructured":"[1981] The lattice of equational theories, part I: modular elements, Czechoslovak Math. J. 31, 127\u2013152.","journal-title":"Czechoslovak Math. J."},{"key":"18_CR40","doi-asserted-by":"crossref","first-page":"573","DOI":"10.21136\/CMJ.1981.101775","volume":"31","author":"J. Je\u017eek","year":"1981","unstructured":"[1981] The lattice of equational theories part II: the lattice of full sets of terms, Czechoslovak Math. J. 31, 573\u2013603.","journal-title":"Czechoslovak Math. J."},{"key":"18_CR41","doi-asserted-by":"crossref","first-page":"129","DOI":"10.21136\/CMJ.1982.101790","volume":"32","author":"J. Je\u017eek","year":"1982","unstructured":"[1982] The lattice of equational theories part III: definability and automorphisms, Czechoslovak Math. J. 32, 129\u2013164.","journal-title":"Czechoslovak Math. J."},{"key":"18_CR42","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/BF01195139","volume":"20","author":"J. Je\u017eek","year":"1985","unstructured":"[1985] Nonfinitely based three-element groupoids, Algebra Universalis 20, 292\u2013301.","journal-title":"Algebra Universalis"},{"key":"18_CR43","doi-asserted-by":"crossref","first-page":"331","DOI":"10.21136\/CMJ.1986.102094","volume":"36","author":"J. Je\u017eek","year":"1986","unstructured":"[1986] The lattice of equational theories part IV: equational theories of finite algebras, Czechoslovak Math. J. 36, 331\u2013341.","journal-title":"Czechoslovak Math. J."},{"key":"18_CR44","doi-asserted-by":"crossref","first-page":"110","DOI":"10.7146\/math.scand.a-10850","volume":"21","author":"B. J\u00f3nsson","year":"1967","unstructured":"B. J\u00f3nsson [1967] Algebras whose congruence lattices are distributive, Math. Scand.21, 110\u2013121.","journal-title":"Math. Scand."},{"key":"18_CR45","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/BF02482916","volume":"10","author":"B. J\u00f3nsson","year":"1980","unstructured":"[1980] Congruence varieties, Algebra Universalis 10, 355\u2013394.","journal-title":"Algebra Universalis"},{"volume-title":"Rewriting Techniques and Applications","year":"1987","key":"18_CR46","unstructured":"J.-P. Jouannaud ed. [1987] Rewriting Techniques and Applications, Academic Press, New York."},{"key":"18_CR47","doi-asserted-by":"crossref","first-page":"79","DOI":"10.2307\/2273945","volume":"51","author":"C. Kalfa","year":"1986","unstructured":"C. Kalfa [1986] Decision problems concerning properties of finite sets of equations, J. Symbolic Logic51, 79\u201387.","journal-title":"J. Symbolic Logic"},{"key":"18_CR48","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1090\/S0002-9939-1952-0047584-3","volume":"3","author":"J. Kalicki","year":"1952","unstructured":"J. Kalicki [1952] On comparison of finite algebras, Proc. Amer. Math. Soc.3, 36\u201340.","journal-title":"Proc. Amer. Math. Soc."},{"key":"18_CR49","doi-asserted-by":"crossref","first-page":"660","DOI":"10.1016\/S1385-7258(55)50090-4","volume":"58","author":"J. Kalicki","year":"1955","unstructured":"[1955] The number of equationally complete classes of equations, Indag. Math. 58, 660\u2013662.","journal-title":"Indag. Math."},{"key":"18_CR50","unstructured":"E. Kiss and P. Pr\u00f6hle [1988] Problems and results in tame congruence theory, Mathematmatical Institute of the Hungarian Academy of Sciences, preprint no. 60\/1988."},{"key":"18_CR51","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1016\/0021-8693(73)90025-2","volume":"26","author":"R. Kruse","year":"1973","unstructured":"R. Kruse [1973] Identities satisfied by a finite ring, J. Algebra26, 298\u2013318.","journal-title":"J. Algebra"},{"key":"18_CR52","unstructured":"W. Lampe [1987] A property of lattices of equational theories, Algebra Universalis24."},{"key":"18_CR53","first-page":"269","volume":"12","author":"I. V. L'vov","year":"1973","unstructured":"I. V. L'vov [1973] Varieties of associative rings, I, Algebra i Logika12, 269\u2013297; II, Algebra i Logika12, 667\u2013688, 735.","journal-title":"Algebra i Logika"},{"key":"18_CR54","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1090\/S0002-9947-1951-0044470-3","volume":"71","author":"R. Lyndon","year":"1951","unstructured":"R. Lyndon [1951] Identities in two-valued calculi, Trans. Amer. Math. Soc.71, 457\u2013465.","journal-title":"Trans. Amer. Math. Soc."},{"key":"18_CR55","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1090\/S0002-9939-1954-0060482-6","volume":"5","author":"R. Lyndon","year":"1954","unstructured":"[1954] Identities in finite algebras, Proc. Amer. Math. Soc. 5, 8\u20139.","journal-title":"Proc. Amer. Math. Soc."},{"key":"18_CR56","first-page":"49","volume":"18","author":"A. I. Maltsev","year":"1958","unstructured":"A. I. Maltsev [1958] On homomorphisms onto finite groups, Ucen. Zap. Ivan. Ped. Inst.18, 49\u201360; English translation, Amer. Math. Soc. Transl.119, 67\u201379.","journal-title":"Ucen. Zap. Ivan. Ped. Inst."},{"key":"18_CR57","first-page":"3","volume":"69","author":"A. I. Maltsev","year":"1966","unstructured":"[1966] Identical relations on varieties of quasigroups, Mat. Sbornik 69, 3\u201312; English translation, (1969), Amer. Math. Soc. Transl. 82, 225\u2013235; Chapter 29 in Maltsev [1971].","journal-title":"Mat. Sbornik"},{"key":"18_CR58","doi-asserted-by":"crossref","unstructured":"A. I. Maltsev [1968] Problems on the borderline between algebra and logic, in: Proc. Int. Congress of Math. (Moscow 1966) Moscow, Mir, 1968 pp.217\u2013231; English translation, (1968), Amer. Math. Soc. Transl.70, 89\u2013100; Chapter 34 in Maltsev [1971].","DOI":"10.1090\/trans2\/070\/16"},{"key":"18_CR59","volume-title":"A selection of Maltsev's papers","author":"A. I. Maltsev","year":"1971","unstructured":"[1971] The Metamathematics of Algebraic Systems, A selection of Maltsev's papers, edited and translated by B. F. Wells, III, North-Holland Publishing Company, Amsterdam."},{"key":"18_CR60","volume-title":"Algebraic Systems","author":"A. I. Maltsev","year":"1973","unstructured":"[1973] Algebraic Systems, Akademie-Verlag, Berlin."},{"key":"18_CR61","first-page":"587","volume":"55","author":"A. Markov","year":"1947","unstructured":"A. Markov [1947] On the impossibility of certain algorithms in the theory of associative systems, Doklady Akad, Nauk SSSR55, 587\u2013590.","journal-title":"Doklady Akad, Nauk SSSR"},{"key":"18_CR62","first-page":"953","volume":"77","author":"A. Markov","year":"1951","unstructured":"[1951] Impossibility of certain algorithms in the theory of associative systems, Doklady Akad. Nauk SSSR 77, 953\u2013956.","journal-title":"Doklady Akad. Nauk SSSR"},{"key":"18_CR63","volume-title":"The Equational Theories of Natural Numbers and Transfinite Ordinals","author":"C. Martin","year":"1973","unstructured":"C. Martin [1973] The Equational Theories of Natural Numbers and Transfinite Ordinals, Ph.D. Thesis, University of California, Berkeley, CA."},{"key":"18_CR64","doi-asserted-by":"crossref","first-page":"24","DOI":"10.7146\/math.scand.a-10984","volume":"27","author":"R. McKenzie","year":"1970","unstructured":"R. McKenzie [1970] Equational bases for lattice theories, Math. Scand.27, 24\u201338.","journal-title":"Math. Scand."},{"key":"18_CR65","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0003-4843(71)90007-6","volume":"3","author":"R. McKenzie","year":"1971","unstructured":"[1971] Definability in lattices of equational theories, Ann. Math. Logic 3, 197\u2013237.","journal-title":"Ann. Math. Logic"},{"key":"18_CR66","doi-asserted-by":"crossref","first-page":"186","DOI":"10.2307\/2271899","volume":"40","author":"R. McKenzie","year":"1975","unstructured":"[1975] On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model, J. Symbolic Logic 40, 186\u2013196.","journal-title":"J. Symbolic Logic"},{"key":"18_CR67","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/BF01182247","volume":"18","author":"R. McKenzie","year":"1984","unstructured":"[1984] A new product of algebras and a type reduction theorem, Algebra Universalis 18, 29\u201369.","journal-title":"Algebra Universalis"},{"key":"18_CR68","unstructured":"R. McKenzie [1988] Finite equational bases for congruence modular algebras, Algebra Universalis (to appear)."},{"key":"18_CR69","volume-title":"Algebras, Lattices, Varieties, Volume I","author":"R. McKenzie","year":"1987","unstructured":"R. McKenzie, G. McNulty, and W. Taylor [1987] Algebras, Lattices, Varieties, Volume I, Wadsworth & Brooks\/Cole, Monterey, CA."},{"key":"18_CR70","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4552-0","volume-title":"The Structure of Decidable Locally Finite Varieties","author":"R. McKenzie","year":"1989","unstructured":"R. McKenzie and M. Valeriote [1989] The Structure of Decidable Locally Finite Varieties, Birkh\u00e4user Verlag, Boston, MA (to appear)."},{"key":"18_CR71","doi-asserted-by":"crossref","first-page":"61","DOI":"10.2307\/2268172","volume":"8","author":"J. C. C. McKinsey","year":"1943","unstructured":"J. C. C. McKinsey [1943] The decision problem for some classes of sentences without quantifiers, J Symbolic Logic8, 61\u201376.","journal-title":"J Symbolic Logic"},{"key":"18_CR72","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0003-4843(76)90009-7","volume":"11","author":"G. McNulty","year":"1976","unstructured":"G. McNulty [1976a] The decision problem for equational bases of algebras, Ann. Math. Logic11, 193\u2013259.","journal-title":"Ann. Math. Logic"},{"key":"18_CR73","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1017\/S0022481200051161","volume":"41","author":"G. McNulty","year":"1976","unstructured":"[1976b] Undecidable properties of finite sets of equations, J. Symbolic Logic 41, 589\u2013604.","journal-title":"J. Symbolic Logic"},{"key":"18_CR74","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF02483841","volume":"13","author":"G. McNulty","year":"1981","unstructured":"[1981] Structural diversity in the lattice of equational theories, Algebra Universalis 13, 271\u2013292.","journal-title":"Algebra Universalis"},{"key":"18_CR75","series-title":"Colloquia Mathematica Societas J\u00e1nos Bolyai","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1016\/B978-0-444-87759-8.50025-0","volume-title":"Lectures in Universal Algebra","author":"G. McNulty","year":"1986","unstructured":"[1986] Fifteen possible previews in equational logic, in Szab\u00f3 and Szendrei [1986]."},{"key":"18_CR76","series-title":"Lecture Note in Mathematics","first-page":"205","volume-title":"Universal Algebra and Lattice Theory, Proceedings, Puebla 1982","author":"G. McNulty","year":"1983","unstructured":"G. McNulty and C. Shallon [1983] Inherently nonfinitely based finite algebras, in Freese and Garcia [1983], pp. 205\u2013231."},{"key":"18_CR77","unstructured":"A. Mekler, E. Nelson, and S. Shelah [1989] A variety with solvable, but not uniformly solvable, word problem."},{"key":"18_CR78","first-page":"815","volume":"163","author":"V. L. Murskii","year":"1965","unstructured":"V. L. Murskii [1965] The existence in three-valued logic of a closed class without a finite complete system of identities, Doklady Akad. Nauk SSSR163, 815\u2013818.","journal-title":"Doklady Akad. Nauk SSSR"},{"key":"18_CR79","first-page":"663","volume":"3","author":"V. L. Murskii","year":"1968","unstructured":"[1968] Examples of varieties of semigroups, Mat. Zametki 3, 663\u2013670.","journal-title":"Mat. Zametki"},{"key":"18_CR80","first-page":"520","volume":"196","author":"V. L. Murskii","year":"1971","unstructured":"[1971] Nondiscernible properties of finite systems of identity relations, Doklady Akad. Nauk SSSR 196, 520\u2013522.","journal-title":"Doklady Akad. Nauk SSSR"},{"key":"18_CR81","first-page":"43","volume":"30","author":"V. L. Murskii","year":"1975","unstructured":"[1975] The existence of a finite basis and some other properties of \u201calmost all\u201d finite algebras, Problemy Kibernet. 30, 43\u201356.","journal-title":"Problemy Kibernet"},{"key":"18_CR82","first-page":"5","volume":"35","author":"V. L. Murskii","year":"1979","unstructured":"[1979] Concerning the number of k-element algebras with one binary operation which have no finite basis of identities, Problemy Kibernet. 35, 5\u201327.","journal-title":"Problemy Kibernet."},{"key":"18_CR83","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0021-8693(64)90004-3","volume":"1","author":"S. Oates","year":"1965","unstructured":"S. Oates and M. B. Powell [1965] Identical relations in finite groups, J. Algebra1, 11\u201339.","journal-title":"J. Algebra"},{"key":"18_CR84","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1017\/S1446788700011897","volume":"26","author":"S. Oates-Williams","year":"1978","unstructured":"S. Oates-Williams and M. Vaughan-Lee [1978] Varieties that make one Cross, J. Austral. Math. Soc.(A)26, 368\u2013382.","journal-title":"J. Austral. Math. Soc.(A)"},{"key":"18_CR85","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 [1983] Undecidable questions of Thue systems, Theoret. Comp. Sci.23, 339\u2013345.","journal-title":"Theoret. Comp. Sci."},{"key":"18_CR86","volume-title":"Decision Problems for Equational Theories of Semigroups and General Algebras","author":"P. Perkins","year":"1966","unstructured":"P. Perkins [1966] Decision Problems for Equational Theories of Semigroups and General Algebras, Ph.D. Thesis, University of California, Berkeley, CA."},{"key":"18_CR87","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1305\/ndjfl\/1093956081","volume":"8","author":"P. Perkins","year":"1967","unstructured":"[1967] Unsolvable problems for equational theories, Notre Dame J. of Formal Logic 8, 175\u2013185.","journal-title":"Notre Dame J. of Formal Logic"},{"key":"18_CR88","first-page":"293","volume":"11","author":"P. Perkins","year":"1968","unstructured":"[1968] Bases for equational theories of semigroups, J. Algebra 11, 293\u2013314.","journal-title":"J. Algebra"},{"key":"18_CR89","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/BF01191487","volume":"19","author":"P. Perkins","year":"1984","unstructured":"[1984] Basis questions for general algebra, Algebra Universalis 19, 16\u201323.","journal-title":"Algebra Universalis"},{"key":"18_CR90","doi-asserted-by":"crossref","first-page":"15","DOI":"10.2307\/2369442","volume":"3","author":"C. S. Peirce","year":"1880","unstructured":"C. S. Peirce [1880] On the algebra of logic, Amer. J. Math.3, 15\u201357.","journal-title":"Amer. J. Math."},{"key":"18_CR91","volume-title":"Introduction to the Theory of Abstract Algebras","author":"R. S. Pierce","year":"1968","unstructured":"R. S. Pierce [1968] Introduction to the Theory of Abstract Algebras, Holt, Rinehart and Winston, New York."},{"key":"18_CR92","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/BF02485829","volume":"6","author":"D. Pigozzi","year":"1976","unstructured":"D. Pigozzi [1976] Base-undecidable properties of universal varieties, Algebra Universalis6, 193\u2013223.","journal-title":"Algebra Universalis"},{"key":"18_CR93","unstructured":"D. Pigozzi and G. Tardos [1989] The representation of certain abstract lattices aslattices of subvarieties, (to appear)."},{"key":"18_CR94","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0020-0190(85)90063-8","volume":"20","author":"D. Plaisted","year":"1985","unstructured":"D. Plaisted [1985] The undecidability of self embedding for term rewriting systems, Inf. Proc. Lett.20, 61\u201364.","journal-title":"Inf. Proc. Lett."},{"key":"18_CR95","first-page":"1356","volume":"17","author":"S. V. Polin","year":"1976","unstructured":"S. V. Polin [1976] On the identities of finite algebras, Sib. Mat. J.17, 1356\u20131366.","journal-title":"Sib. Mat. J."},{"key":"18_CR96","series-title":"Annals of Math. Studies","volume-title":"The Two-valued Iterative Systems of Mathematical Logic","author":"E. Post","year":"1941","unstructured":"E. Post [1941] The Two-valued Iterative Systems of Mathematical Logic, Annals of Math. Studies, No. 5, Princeton University Press, Princeton, NJ."},{"key":"18_CR97","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2267170","volume":"12","author":"E. Post","year":"1947","unstructured":"[1947] Recursive unsolvability of a problem of Thue, J. Symbolic Logic 12, 1\u201311.","journal-title":"J. Symbolic Logic"},{"key":"18_CR98","doi-asserted-by":"crossref","first-page":"172","DOI":"10.2307\/1969933","volume":"67","author":"M. Rabin","year":"1958","unstructured":"M. Rabin [1958] Recursive unsolvability of group theoretic problems, Ann. of Math.67, 172\u2013194.","journal-title":"Ann. of Math."},{"key":"18_CR99","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1070\/IM1988v030n02ABEH001012","volume":"30","author":"M. Sapir","year":"1987","unstructured":"M. Sapir [1987a] Problems of Burnside type and the finite basis property in varieties of semigroups, Izv. Akad. Nauk SSSR51; English translation, Math. USSR Izvestiya30, 295\u2013314.","journal-title":"Math. USSR Izvestiya"},{"key":"18_CR100","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1070\/SM1988v061n01ABEH003199","volume":"61","author":"M. Sapir","year":"1987","unstructured":"[1987b] Inherently nonfinitely based finite semigroups, Mat. Sbornik 133; English Translation, Math. USSR Sbornik 61 (1988), 155\u2013166.","journal-title":"Math. USSR Sbornik"},{"key":"18_CR101","volume-title":"Vorlesungen \u00fcber die Algebra der Logik (exact Logik)","author":"E. Schr\u00f6der","year":"1890","unstructured":"E. Schr\u00f6der [1890] Vorlesungen \u00fcber die Algebra der Logik (exact Logik), edited in part by E. M\u00fcller and B.G. Teubner, published in four volumes, Leipzig; Second edition in three volumes, (1966), Chelsea Publ. Co., New York."},{"volume-title":"Contributions to Mathematical Logic","year":"1968","key":"18_CR102","unstructured":"K. Sch\u00fctte, ed. [1968] Contributions to Mathematical Logic, North-Holland Publishing Co., Amsterdam."},{"key":"18_CR103","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/S1385-7258(56)50006-6","volume":"59","author":"D. Scott","year":"1956","unstructured":"D. Scott [1956] Equationally complete extensions of finite algebras, Indag. Math.59, 35\u201338.","journal-title":"Indag. Math."},{"key":"18_CR104","volume-title":"Nonfinitely Based, Binary Algebra Derived for Lattices","author":"C. Shallon","year":"1979","unstructured":"C. Shallon [1979] Nonfinitely Based, Binary Algebra Derived for Lattices, Ph.D. Thesis, University of California, Los Angeles, CA."},{"key":"18_CR105","first-page":"3","volume":"29","author":"L. N. Shevrin","year":"1985","unstructured":"L. N. Shevrin and M. V. Volkov [1985] Identities of semigroups, Izvestiya VUZ Mat.29, 3\u201347.","journal-title":"Izvestiya VUZ Mat."},{"key":"18_CR106","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1305\/ndjfl\/1093894637","volume":"13","author":"D. Smith","year":"1972","unstructured":"D. Smith [1972] Non-recursiveness of the set of finite sets of equations whose theories are one based, Notre Dame J. Formal Logic13, 135\u2013138.","journal-title":"Notre Dame J. Formal Logic"},{"key":"18_CR107","series-title":"Colloquia Mathematica Societas J\u00e1nos Bolyai","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1016\/B978-0-444-87759-8.50025-0","volume-title":"Lectures in Universal Algebra","year":"1986","unstructured":"L. Szab\u00f3 and A. Szendrei, eds. [1986] Lectures in Universal Algebra, Colloquia Mathematica Societas J\u00e1nos Bolyai vol. 43 pp. 307\u2013331, North-Holland, Amsterdam."},{"key":"18_CR108","volume-title":"S\u00e9minaire de Math\u00e9matiques Sup\u00e9rieures vol. 99","author":"A. Szendrei","year":"1986","unstructured":"A. Szendrei [1986] Clones in Universal Algebra, S\u00e9minaire de Math\u00e9matiques Sup\u00e9rieures vol. 99, Les Presses de l'Universit\u00e9 de Montr\u00e9al, Montr\u00e9al, Canada."},{"key":"18_CR109","doi-asserted-by":"crossref","first-page":"203","DOI":"10.4064\/fm-41-2-203-271","volume":"41","author":"W. Szmielew","year":"1954","unstructured":"W. Szmielew [1954] Elementary properties of Abelian groups, Fund. Math.41, 203\u2013271.","journal-title":"Fund. Math."},{"key":"18_CR110","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"A. Tarski [1941] On the calculus of relations, J. Symbolic Logic6, 73\u201389.","journal-title":"J. Symbolic Logic"},{"key":"18_CR111","first-page":"64","volume":"55","author":"A. Tarski","year":"1949","unstructured":"[1949a] Arithmetical classes and types of Boolean Algebras (preliminary report), Bull. Amer. Math. Soc. 55, p. 64.","journal-title":"Bull. Amer. Math. Soc."},{"key":"18_CR112","first-page":"77","volume":"14","author":"A. Tarski","year":"1949","unstructured":"[1949b] Undecidability of the theories of lattices and projective geometries, J. Symbolic Logic 14, 77\u201378.","journal-title":"J. Symbolic Logic"},{"key":"18_CR113","first-page":"189","volume":"18","author":"A. Tarski","year":"1953","unstructured":"[1953] A formalization of set theory without variables (abstract), J. Symbolic Logic 18, p. 189.","journal-title":"J. Symbolic Logic"},{"key":"18_CR114","first-page":"275","volume-title":"Contributions to Mathematical Logic","author":"A. Tarski","year":"1968","unstructured":"A. Tarski [1968] Equational logic, in Sch\u00fctte [1968], pp. 275\u2013288."},{"key":"18_CR115","volume-title":"Colloquium Publications, vol 41","author":"A. Tarski","year":"1987","unstructured":"A. Tarski and S. Givant [1987] A Formalization of Set Theory Without Variables, Colloquium Publications, vol 41, Amer. Math. Soc., Providence, RI."},{"key":"18_CR116","unstructured":"W. Taylor [1979] Equational logic, Houston J. Math. (Survey Issue)."},{"key":"18_CR117","volume-title":"Research and Exposition in Mathematics, vol. 13","author":"W. Taylor","year":"1986","unstructured":"[1986] The Clone of a Topological Space, Research and Exposition in Mathematics, vol. 13, Heldermann Verlag, Berlin."},{"key":"18_CR118","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/BF02488039","volume":"9","author":"M. Vaughan-Lee","year":"1979","unstructured":"M. Vaughan-Lee [1979] Laws in finite loops, Algebra Universalis9, 269\u2013280.","journal-title":"Algebra Universalis"},{"key":"18_CR119","series-title":"Lecture Note in Mathematics","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/BFb0063445","volume-title":"Universal Algebra and Lattice Theory, Proceedings, Puebla 1982","author":"M. Vaughan-Lee","year":"1983","unstructured":"M. Vaughan-Lee [1983] Nilpotence in permutable varieties, in Freese and Garcia [1983], pp. 293\u2013308."},{"key":"18_CR120","volume-title":"Pseudorecursive Varieties and Their Word Problems","author":"B. Wells","year":"1982","unstructured":"B. Wells [1982] Pseudorecursive Varieties and Their Word Problems, Ph.D. Thesis, University of California, Berkeley, CA."}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51081-8_112.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T17:56:04Z","timestamp":1687283764000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51081-8_112"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540510819","9783540461494"],"references-count":120,"URL":"https:\/\/doi.org\/10.1007\/3-540-51081-8_112","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}