{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T08:06:48Z","timestamp":1775808408790,"version":"3.50.1"},"reference-count":143,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1992,10,1]],"date-time":"1992-10-01T00:00:00Z","timestamp":717897600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":7594,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[1992,10]]},"DOI":"10.1016\/0747-7171(92)90013-t","type":"journal-article","created":{"date-parts":[[2004,12,9]],"date-time":"2004-12-09T22:58:50Z","timestamp":1102633130000},"page":"371-397","source":"Crossref","is-referenced-by-count":19,"title":["A field guide to equational logic"],"prefix":"10.1016","volume":"14","author":[{"given":"George F.","family":"McNulty","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0747-7171(92)90013-T_BIB1","article-title":"On some points of the theory of recursive functions","author":"Addison","year":"1954"},{"key":"10.1016\/0747-7171(92)90013-T_BIB2","first-page":"13","article-title":"On algorithmic problems in effectively complete classes of groups","volume":"23","author":"Adjan","year":"1958","journal-title":"Doklady Akad. Nauk SSSR"},{"key":"10.1016\/0747-7171(92)90013-T_BIB3","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0001-8708(77)90056-1","article-title":"Finite equational bases for finite algebras in congruence distributive varieties","volume":"24","author":"Baker","year":"1977","journal-title":"Advances in Mathematics"},{"key":"10.1016\/0747-7171(92)90013-T_BIB4","first-page":"3","article-title":"The finitely based varieties of graph algebras","volume":"51","author":"Baker","year":"1987","journal-title":"Acta Scient. Math. (Szeged)"},{"key":"10.1016\/0747-7171(92)90013-T_BIB5","doi-asserted-by":"crossref","first-page":"53","DOI":"10.21136\/CMJ.1989.102278","article-title":"Shift-automorphism methods for inherently nonfinitely based varieties of algebras","volume":"39","author":"Baker","year":"1989","journal-title":"Czech. Math. J"},{"key":"10.1016\/0747-7171(92)90013-T_BIB6","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1007\/BF00271645","article-title":"Finite complete rewriting systems and the complexity of the word problem","volume":"21","author":"Bauer","year":"1984","journal-title":"Acta Informatica"},{"key":"10.1016\/0747-7171(92)90013-T_BIB7","series-title":"Proceedings of the First Canadian Mathematical Conference","first-page":"310","article-title":"Universal algebra","author":"Birkhoff","year":"1946"},{"key":"10.1016\/0747-7171(92)90013-T_BIB8_1","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/BF02219442","article-title":"Varieties of \u03a9-algebras","volume":"9","author":"Bol'bot","year":"1970","journal-title":"Algebra i Logika"},{"key":"10.1016\/0747-7171(92)90013-T_BIB8_2","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/BF02219442","article-title":"Varieties of \u03a9-algebras","volume":"9","author":"Bol'bot","year":"1970","journal-title":"Algebra and Logic"},{"key":"10.1016\/0747-7171(92)90013-T_BIB9","first-page":"39","article-title":"Thue systems as rewriting systems","author":"Book","year":"1987"},{"key":"10.1016\/0747-7171(92)90013-T_BIB10_1","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/S1385-7258(54)50033-8","article-title":"Certain simple unsolvable problems in group theory, I","volume":"16","author":"Boone","year":"1954","journal-title":"Indag. Math"},{"key":"10.1016\/0747-7171(92)90013-T_BIB10_2","doi-asserted-by":"crossref","first-page":"492","DOI":"10.1016\/S1385-7258(54)50061-2","article-title":"Certain simple unsolvable problems in group theory, II","volume":"16","author":"Boone","year":"1954","journal-title":"Indag. Math"},{"key":"10.1016\/0747-7171(92)90013-T_BIB11_1","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1016\/S1385-7258(55)50032-1","article-title":"Certain simple unsolvable in group theory, III","volume":"17","author":"Boone","year":"1955","journal-title":"Indag. Math"},{"key":"10.1016\/0747-7171(92)90013-T_BIB11_2","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1016\/S1385-7258(55)50079-5","article-title":"Certain simple unsolvable problems in group theory, IV","volume":"17","author":"Boone","year":"1955","journal-title":"Indag. Math"},{"key":"10.1016\/0747-7171(92)90013-T_BIB12_1","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1016\/S1385-7258(57)50003-6","article-title":"Certain simple unsolvable problems in group theory, V","volume":"19","author":"Boone","year":"1957","journal-title":"Indag. Math"},{"key":"10.1016\/0747-7171(92)90013-T_BIB12_2","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/S1385-7258(57)50030-9","article-title":"Certain simple unsolvable problems in group theory, VI","volume":"19","author":"Boone","year":"1957","journal-title":"Indag. Math"},{"key":"10.1016\/0747-7171(92)90013-T_BIB13","doi-asserted-by":"crossref","first-page":"207","DOI":"10.2307\/1970103","article-title":"The word problem","volume":"70","author":"Boone","year":"1959","journal-title":"Annals of Math"},{"key":"10.1016\/0747-7171(92)90013-T_BIB14","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1112\/blms\/14.2.119","article-title":"The laws of finite pointed groups","volume":"14","author":"Bryant","year":"1982","journal-title":"Bull. London Math. Soc"},{"key":"10.1016\/0747-7171(92)90013-T_BIB15","first-page":"3","article-title":"History and basic features of the critical-pair\/completion procedure","author":"Buchberger","year":"1987"},{"key":"10.1016\/0747-7171(92)90013-T_BIB16","first-page":"37","article-title":"Embedding the dual of \u03a0m in the lattice of equational classes of commulative semigroups","volume":"30","author":"Burris","year":"1971"},{"key":"10.1016\/0747-7171(92)90013-T_BIB17","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/BF02944986","article-title":"Embedding the dual of \u03a0\u221e in the lattice of equational classes of semigroups","volume":"1","author":"Burris","year":"1971","journal-title":"Algebra Universalis"},{"key":"10.1016\/0747-7171(92)90013-T_BIB18","series-title":"A Course in Universal Algebra","author":"Burris","year":"1981"},{"key":"10.1016\/0747-7171(92)90013-T_BIB19","series-title":"Universal Algebra","author":"Cohn","year":"1965"},{"key":"10.1016\/0747-7171(92)90013-T_BIB20","series-title":"Universal Algebra","author":"Cohn","year":"1981"},{"key":"10.1016\/0747-7171(92)90013-T_BIB21","doi-asserted-by":"crossref","first-page":"167","DOI":"10.4153\/CMB-1969-016-6","article-title":"A characterization of modularity of congruence lattices of algebras","volume":"12","author":"Day","year":"1969","journal-title":"Canad. Math. Bull"},{"key":"10.1016\/0747-7171(92)90013-T_BIB22","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/BF01448979","article-title":"\u00dcber die von drei Moduln erzeugte Dualgruppe","volume":"53","author":"Dedekind","year":"1900","journal-title":"Math. Ann"},{"key":"10.1016\/0747-7171(92)90013-T_BIB23","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1007\/BF01456932","article-title":"\u00dcber unendlicher diskontinuierliche Gruppen","volume":"71","author":"Dehn","year":"1911","journal-title":"Math. Ann"},{"key":"10.1016\/0747-7171(92)90013-T_BIB24","first-page":"69","article-title":"Termination of rewriting","author":"Dershowitz","year":"1987"},{"key":"10.1016\/0747-7171(92)90013-T_BIB25","article-title":"Rewriting Techniques and Applications","volume":"355","author":"Dershowitz","year":"1989"},{"key":"10.1016\/0747-7171(92)90013-T_BIB26","first-page":"243","article-title":"Rewrite systems","author":"Dershowitz","year":"1990"},{"key":"10.1016\/0747-7171(92)90013-T_BIB27","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1112\/jlms\/s2-1.1.399","article-title":"Some connections between residual finiteness, finite embeddability and the word problem","volume":"1","author":"Evans","year":"1969","journal-title":"J. London Math. Soc"},{"key":"10.1016\/0747-7171(92)90013-T_BIB28","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1090\/S0002-9904-1978-14516-9","article-title":"Word problems","volume":"84","author":"Evans","year":"1978","journal-title":"Bull. Amer. Math. Soc"},{"key":"10.1016\/0747-7171(92)90013-T_BIB29","article-title":"Certain Unsolvable Problems in the Theory of Cancellation Semigroups","author":"Feeney","year":"1954"},{"key":"10.1016\/0747-7171(92)90013-T_BIB30","first-page":"181","article-title":"Free modular lattices","volume":"26","author":"Freese","year":"1980","journal-title":"Trans. Amer. Math. Soc"},{"key":"10.1016\/0747-7171(92)90013-T_BIB31","series-title":"Universal Algebra and Lattice Theory, Proceedings","volume":"1004","year":"1983"},{"key":"10.1016\/0747-7171(92)90013-T_BIB32","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1090\/S0002-9947-1981-0603772-9","article-title":"Residually small varieties with modular congruence lattices","volume":"264","author":"Freese","year":"1981","journal-title":"Trans. Amer. Math. Soc"},{"key":"10.1016\/0747-7171(92)90013-T_BIB33","article-title":"Commutator Theory for Congruence Modular Varieties","volume":"125","author":"Freese","year":"1987"},{"key":"10.1016\/0747-7171(92)90013-T_BIB34","volume":"Volume II","author":"Freese","year":"1991"},{"key":"10.1016\/0747-7171(92)90013-T_BIB35","article-title":"Universal Algebra","author":"Gr\u00e4tzer","year":"1968"},{"key":"10.1016\/0747-7171(92)90013-T_BIB36","first-page":"581","article-title":"Universal Algebra","author":"Gr\u00e4tzer","year":"1979"},{"key":"10.1016\/0747-7171(92)90013-T_BIB37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(90)90049-8","article-title":"Equational theory of positive numbers with exponentiation is not finitely axiomatizable","volume":"49","author":"Gurevi\u010d","year":"1990","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/0747-7171(92)90013-T_BIB38","doi-asserted-by":"crossref","first-page":"597","DOI":"10.2307\/2321009","article-title":"The logic of equality","volume":"84","author":"Henkin","year":"1977","journal-title":"Amer. Math. Monthly"},{"key":"10.1016\/0747-7171(92)90013-T_BIB39","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1007\/BF01455951","article-title":"On the word problem for the modular lattice with four free generators","volume":"256","author":"Herrmann","year":"1983","journal-title":"Math. Ann"},{"key":"10.1016\/0747-7171(92)90013-T_BIB40","article-title":"The Structure of Finite Algebras (Tame Congruence Theory)","volume":"76","author":"Hobby","year":"1988"},{"key":"10.1016\/0747-7171(92)90013-T_BIB41","article-title":"On the uniform halting problem for term rewriting systems","author":"Huet","year":"1978"},{"issue":"6","key":"10.1016\/0747-7171(92)90013-T_BIB42_1","first-page":"75","article-title":"Essentially infinitely based varieties of algebras","volume":"30","author":"Isaev","year":"1989","journal-title":"Sibirskii Mat. Zhurnal"},{"key":"10.1016\/0747-7171(92)90013-T_BIB42_2","first-page":"892","article-title":"Essentially infinitely based varieties of algebras","author":"Isaev","year":"1989","journal-title":"Sibirian Math. J"},{"key":"10.1016\/0747-7171(92)90013-T_BIB43","doi-asserted-by":"crossref","first-page":"151","DOI":"10.2307\/2311743","article-title":"The lattice of equational classes of algebras with one unary operation","volume":"71","author":"Jacobs","year":"1964","journal-title":"Amer. Math. Monthly"},{"key":"10.1016\/0747-7171(92)90013-T_BIB44","first-page":"159","article-title":"Primitive classes of algebras with unary and nullary operations","volume":"20","author":"Je\u017eek","year":"1969"},{"key":"10.1016\/0747-7171(92)90013-T_BIB45","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/BF02485826","article-title":"Intervals in the lattice of varieties","volume":"6","author":"Je\u017eek","year":"1976","journal-title":"Algebra Universalis"},{"key":"10.1016\/0747-7171(92)90013-T_BIB46","doi-asserted-by":"crossref","first-page":"127","DOI":"10.21136\/CMJ.1981.101731","article-title":"The lattice of equational theories, part I: modular elements","volume":"31","author":"Je\u017eek","year":"1981","journal-title":"Czechoslovak Math. J"},{"key":"10.1016\/0747-7171(92)90013-T_BIB47","doi-asserted-by":"crossref","first-page":"573","DOI":"10.21136\/CMJ.1981.101775","article-title":"The lattice of equational theories part II: the lattice of full sets of terms","volume":"31","author":"Je\u017eek","year":"1981","journal-title":"Czechoslovak Math. J"},{"key":"10.1016\/0747-7171(92)90013-T_BIB48","doi-asserted-by":"crossref","first-page":"129","DOI":"10.21136\/CMJ.1982.101790","article-title":"The lattice of equational theories part III: definability and automorphisms","volume":"32","author":"Je\u017eek","year":"1982","journal-title":"Czechoslovak Math. J"},{"key":"10.1016\/0747-7171(92)90013-T_BIB49","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/BF01195139","article-title":"Nonfinitely based three-element groupoids","volume":"20","author":"Je\u017eek","year":"1985","journal-title":"Algebra Universalis"},{"key":"10.1016\/0747-7171(92)90013-T_BIB50","doi-asserted-by":"crossref","first-page":"331","DOI":"10.21136\/CMJ.1986.102094","article-title":"The lattice of equational theories part IV: equational theories of finite algebras","volume":"36","author":"Je\u017eek","year":"1986","journal-title":"Czechoslovak Math. J"},{"key":"10.1016\/0747-7171(92)90013-T_BIB51","doi-asserted-by":"crossref","first-page":"110","DOI":"10.7146\/math.scand.a-10850","article-title":"Algebras whose congruence lattices are distributive","volume":"21","author":"J\u00f3nsson","year":"1967","journal-title":"Math. Scand"},{"key":"10.1016\/0747-7171(92)90013-T_BIB52","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/BF02482916","article-title":"Congruence varieties","volume":"10","author":"J\u00f3nsson","year":"1980","journal-title":"Algebra Universalis"},{"key":"10.1016\/0747-7171(92)90013-T_BIB53","series-title":"Rewriting Techniques and Applications","year":"1987"},{"key":"10.1016\/0747-7171(92)90013-T_BIB54","doi-asserted-by":"crossref","first-page":"79","DOI":"10.2307\/2273945","article-title":"Decision problems concerning properties of finite sets of equations","volume":"51","author":"Kalfa","year":"1986","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0747-7171(92)90013-T_BIB55","first-page":"36","article-title":"On comparison of finite algebras","volume":"3","author":"Kalicki","year":"1952"},{"key":"10.1016\/0747-7171(92)90013-T_BIB56","doi-asserted-by":"crossref","first-page":"660","DOI":"10.1016\/S1385-7258(55)50090-4","article-title":"The number of equationally complete classes of equations","volume":"58","author":"Kalicki","year":"1955","journal-title":"Indag. Math"},{"key":"10.1016\/0747-7171(92)90013-T_BIB57","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF01190604","article-title":"Problems and results in tame congruence theory","volume":"29","author":"Kiss","year":"1992","journal-title":"Algebra Universalis"},{"key":"10.1016\/0747-7171(92)90013-T_BIB58","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1016\/0021-8693(73)90025-2","article-title":"Identities satisfied by a finite ring","volume":"26","author":"Kruse","year":"1973","journal-title":"J. Algebra"},{"key":"10.1016\/0747-7171(92)90013-T_BIB59","article-title":"A property of lattices of equational theories","volume":"24","author":"Lampe","year":"1987","journal-title":"Algebra Universalis"},{"key":"10.1016\/0747-7171(92)90013-T_BIB60_1","first-page":"269","article-title":"Varieties of associative rings, I","volume":"12","author":"L'vov","year":"1973","journal-title":"Algebra i Logika"},{"key":"10.1016\/0747-7171(92)90013-T_BIB60_2","first-page":"667","article-title":"Varieties of associative rings, II","volume":"12","author":"L'vov","year":"1973","journal-title":"Algebra i Logika"},{"key":"10.1016\/0747-7171(92)90013-T_BIB60_3","first-page":"735","article-title":"Varieties of associative rings, II","volume":"12","author":"L'vov","year":"1973","journal-title":"Algebra i Logika"},{"key":"10.1016\/0747-7171(92)90013-T_BIB61","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1090\/S0002-9947-1951-0044470-3","article-title":"Identities in two-valued calculi","volume":"71","author":"Lyndon","year":"1951","journal-title":"Trans. Amer. Math. Soc"},{"key":"10.1016\/0747-7171(92)90013-T_BIB62","first-page":"8","article-title":"Identities in finite algebras","volume":"5","author":"Lyndon","year":"1954"},{"key":"10.1016\/0747-7171(92)90013-T_BIB63","doi-asserted-by":"crossref","first-page":"428","DOI":"10.2307\/2273039","article-title":"The word problem for division rings","volume":"38","author":"Macintyre","year":"1973","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0747-7171(92)90013-T_BIB64_1","first-page":"49","article-title":"On homomorphisms onto finite groups","volume":"18","author":"Maltsev","year":"1958","journal-title":"Ucen. Zap. Ivan. Ped. Inst"},{"key":"10.1016\/0747-7171(92)90013-T_BIB64_2","first-page":"67","volume":"119","author":"Maltsev","year":"1958","journal-title":"Amer. Math. Soc. Transl"},{"key":"10.1016\/0747-7171(92)90013-T_BIB65_1","first-page":"3","article-title":"Identical relations on varieties of quasigroups","volume":"69","author":"Maltsev","year":"1966","journal-title":"Mat. Sbornik"},{"key":"10.1016\/0747-7171(92)90013-T_BIB65_2","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1090\/trans2\/082\/14","volume":"82","author":"Maltsev","year":"1969","journal-title":"Amer. Math. Soc. Transl"},{"key":"10.1016\/0747-7171(92)90013-T_BIB66_1","series-title":"Proc. Int. Congress of Math","first-page":"217","article-title":"Problems on the borderline between algebra and logic","author":"Maltsev","year":"1968"},{"key":"10.1016\/0747-7171(92)90013-T_BIB66_2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1090\/trans2\/070\/16","volume":"70","author":"Maltsev","year":"1968","journal-title":"Amer. Math. Soc. Transl"},{"key":"10.1016\/0747-7171(92)90013-T_BIB67","article-title":"The Metamathematics of Algebraic Systems: A selection of Maltsev's papers","author":"Maltsev","year":"1971"},{"key":"10.1016\/0747-7171(92)90013-T_BIB68","series-title":"Algebraic Systems","author":"Maltsev","year":"1973"},{"key":"10.1016\/0747-7171(92)90013-T_BIB69","first-page":"587","article-title":"On the impossibility of certain algorithms in the theory of associative systems","volume":"55","author":"Markov","year":"1947","journal-title":"Doklady Akad. Nauk SSSR"},{"key":"10.1016\/0747-7171(92)90013-T_BIB70","first-page":"953","article-title":"Impossibility of certain algorithms in the theory of associative systems","volume":"77","author":"Markov","year":"1951","journal-title":"Doklady Akad. Nauk SSSR"},{"key":"10.1016\/0747-7171(92)90013-T_BIB71","article-title":"The Equational Theories of Natural Numbers and Transfinite Ordinals","author":"Martin","year":"1973"},{"key":"10.1016\/0747-7171(92)90013-T_BIB72","doi-asserted-by":"crossref","first-page":"24","DOI":"10.7146\/math.scand.a-10984","article-title":"Equational bases for lattice theories","volume":"27","author":"McKenzie","year":"1970","journal-title":"Math. Scand"},{"key":"10.1016\/0747-7171(92)90013-T_BIB73","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0003-4843(71)90007-6","article-title":"Definability in lattices of equational theories","volume":"3","author":"McKenzie","year":"1971","journal-title":"Ann. Math. Logic"},{"key":"10.1016\/0747-7171(92)90013-T_BIB74","doi-asserted-by":"crossref","first-page":"186","DOI":"10.2307\/2271899","article-title":"On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model","volume":"40","author":"McKenzie","year":"1975","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0747-7171(92)90013-T_BIB75","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/BF01182247","article-title":"A new product of algebras and a type reduction theorem","volume":"18","author":"McKenzie","year":"1984","journal-title":"Algebra Universalis"},{"key":"10.1016\/0747-7171(92)90013-T_BIB76","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/BF01195263","article-title":"Finite equational bases for congruence modular algebras","volume":"24","author":"McKenzie","year":"1987","journal-title":"Algebra Universalis"},{"key":"10.1016\/0747-7171(92)90013-T_BIB77","volume":"Volume I","author":"McKenzie","year":"1987"},{"key":"10.1016\/0747-7171(92)90013-T_BIB78","series-title":"The Structure of Dedicable Locally Finite Varieties","author":"McKenzie","year":"1989"},{"key":"10.1016\/0747-7171(92)90013-T_BIB79","doi-asserted-by":"crossref","first-page":"61","DOI":"10.2307\/2268172","article-title":"The decision problem for some classes of sentences without quantifiers","volume":"8","author":"McKinsey","year":"1943","journal-title":"J Symbolic Logic"},{"key":"10.1016\/0747-7171(92)90013-T_BIB80","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0003-4843(76)90009-7","article-title":"The decision problem for equational bases of algebras","volume":"11","author":"McNulty","year":"1976","journal-title":"Ann. Math. Logic"},{"key":"10.1016\/0747-7171(92)90013-T_BIB81","doi-asserted-by":"crossref","first-page":"589","DOI":"10.2307\/2272037","article-title":"Undecidable properties of finite sets of equations","volume":"41","author":"McNulty","year":"1976","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0747-7171(92)90013-T_BIB82","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF02483841","article-title":"Structural diversity in the lattice of equational theories","volume":"13","author":"McNulty","year":"1981","journal-title":"Algebra Universalis"},{"key":"10.1016\/0747-7171(92)90013-T_BIB83","series-title":"Fifteen possible previews in equational logic","first-page":"307","author":"McNulty","year":"1986"},{"key":"10.1016\/0747-7171(92)90013-T_BIB84","series-title":"An Equational logic sampler","first-page":"234","author":"McNulty","year":"1989"},{"key":"10.1016\/0747-7171(92)90013-T_BIB85","series-title":"Inherently nonfinitely based finite algebras","first-page":"205","author":"McNulty","year":"1983"},{"key":"10.1016\/0747-7171(92)90013-T_BIB86","series-title":"A variety with solvable, but not uniformly solvable, word problem","author":"Mekler","year":"1991"},{"key":"10.1016\/0747-7171(92)90013-T_BIB87","first-page":"815","article-title":"The existence in three-value logic of a closed class without a finite complete system of identities","volume":"163","author":"Murski\u01d0","year":"1965","journal-title":"Doklady Akad. Nauk SSSR"},{"key":"10.1016\/0747-7171(92)90013-T_BIB88","first-page":"663","article-title":"Examples of varieties of semigroups","volume":"3","author":"Murski\u01d0","year":"1968","journal-title":"Mat. Zametki"},{"key":"10.1016\/0747-7171(92)90013-T_BIB89","first-page":"520","article-title":"Nondiscernible properties of finite systems of identity relations","volume":"196","author":"Murski\u01d0","year":"1971","journal-title":"Doklady Akad. Nauk SSSR"},{"key":"10.1016\/0747-7171(92)90013-T_BIB90","first-page":"43","article-title":"The existence of a finite basis and some other properties of \u201calmost all\u201d finite algebras","volume":"30","author":"Murski\u01d0","year":"1975","journal-title":"Problemy Kibernet"},{"key":"10.1016\/0747-7171(92)90013-T_BIB91","first-page":"5","article-title":"Concerning the number of k-element algebras with one binary operation which have no finite basis of identities","volume":"35","author":"Murski\u01d0","year":"1979","journal-title":"Problemy Kibernet"},{"key":"10.1016\/0747-7171(92)90013-T_BIB92","first-page":"1","article-title":"On the algorithmic unsolvability of the word problem in group theory","volume":"44","author":"Novikov","year":"1955","journal-title":"Trudy Mat. Inst. Steklov"},{"key":"10.1016\/0747-7171(92)90013-T_BIB93","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0021-8693(64)90004-3","article-title":"Identical relations in finite groups","volume":"1","author":"Oates","year":"1965","journal-title":"J. Algebra"},{"key":"10.1016\/0747-7171(92)90013-T_BIB94","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1017\/S1446788700011897","article-title":"Varieties that make one Cross","volume":"26","author":"Oates-Williams","year":"1978","journal-title":"J. Austral. Math. Soc. (A)"},{"key":"10.1016\/0747-7171(92)90013-T_BIB95","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1016\/0304-3975(83)90039-7","article-title":"Undecidable questions of Thue systems","volume":"23","author":"O'D\u00fanlaing","year":"1983","journal-title":"Theoret. Comp. Sci"},{"key":"10.1016\/0747-7171(92)90013-T_BIB96","article-title":"Decision Problems for Equatorial Theories of Semigroups and General Algebras","author":"Perkins","year":"1966"},{"key":"10.1016\/0747-7171(92)90013-T_BIB97","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1305\/ndjfl\/1093956081","article-title":"Unsolvable problems for equatorial theories","volume":"8","author":"Perkins","year":"1967","journal-title":"Notre Dame J. of Formal Logic"},{"key":"10.1016\/0747-7171(92)90013-T_BIB98","first-page":"293","article-title":"Bases for equatorial theories of semigroups","volume":"11","author":"Perkins","year":"1968","journal-title":"J. Algebra"},{"key":"10.1016\/0747-7171(92)90013-T_BIB99","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/BF01191487","article-title":"Basis questions for general algebra","volume":"19","author":"Perkins","year":"1984","journal-title":"Algebra Universalis"},{"key":"10.1016\/0747-7171(92)90013-T_BIB100","doi-asserted-by":"crossref","first-page":"15","DOI":"10.2307\/2369442","article-title":"On the algebra of logic","volume":"3","author":"Peirce","year":"1880","journal-title":"Amer. J. Math"},{"key":"10.1016\/0747-7171(92)90013-T_BIB101","series-title":"Introduction to the Theory of Abstract Algebras","author":"Pierce","year":"1968"},{"key":"10.1016\/0747-7171(92)90013-T_BIB102","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/BF02485829","article-title":"Base-undecidable properties of universal varieties","volume":"6","author":"Pigozzi","year":"1976","journal-title":"Algebra Universalis"},{"key":"10.1016\/0747-7171(92)90013-T_BIB103","series-title":"The representation of certain abstract lattices as lattices of subvarieties","author":"Pigozzi","year":"1991"},{"key":"10.1016\/0747-7171(92)90013-T_BIB104","first-page":"61","article-title":"The undecidability of self embedding for term rewriting systems","volume":"20","author":"Plaisted","year":"1985"},{"key":"10.1016\/0747-7171(92)90013-T_BIB105","first-page":"1356","article-title":"On the identities of finite algebras","volume":"17","author":"Polin","year":"1976","journal-title":"Sib. Mat. J"},{"key":"10.1016\/0747-7171(92)90013-T_BIB106","doi-asserted-by":"crossref","DOI":"10.1515\/9781400882366","article-title":"The Two-valued Iterative Systems of Mathematical Logic","author":"Post","year":"1941"},{"key":"10.1016\/0747-7171(92)90013-T_BIB107","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2267170","article-title":"Recursive unsolvability of a problem of Thue","volume":"12","author":"Post","year":"1947","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0747-7171(92)90013-T_BIB108","doi-asserted-by":"crossref","first-page":"172","DOI":"10.2307\/1969933","article-title":"Recursive unsolvability of group theoretic problems","volume":"67","author":"Rabin","year":"1958","journal-title":"Ann. of Math"},{"key":"10.1016\/0747-7171(92)90013-T_BIB109_1","article-title":"Problems of Burnside type and the finite basis property in varieties of semigroups","volume":"51","author":"Sapir","year":"1987","journal-title":"Izv. Akad. Nauk SSSR"},{"key":"10.1016\/0747-7171(92)90013-T_BIB109_2","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1070\/IM1988v030n02ABEH001012","volume":"30","author":"Sapir","year":"1987","journal-title":"Math. USSR Izvestiya"},{"key":"10.1016\/0747-7171(92)90013-T_BIB110_1","article-title":"Inherently nonfinitely based finite semigroups","volume":"133","author":"Sapir","year":"1987","journal-title":"Mat. Sbornik"},{"key":"10.1016\/0747-7171(92)90013-T_BIB110_2","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1070\/SM1988v061n01ABEH003199","volume":"61","author":"Sapir","year":"1988","journal-title":"Math. USSR Sbornik"},{"key":"10.1016\/0747-7171(92)90013-T_BIB111","series-title":"Vorlesungen \u00fcber die Algebra der Logik (exacte Logik)","author":"Schr\u00f6der","year":"1966"},{"key":"10.1016\/0747-7171(92)90013-T_BIB112","series-title":"Contributions to Mathematical Logic","year":"1968"},{"key":"10.1016\/0747-7171(92)90013-T_BIB113","first-page":"935","article-title":"Equationally complete extensions of finite algebras","volume":"5","author":"Scott","year":"1956","journal-title":"Indag. Math"},{"key":"10.1016\/0747-7171(92)90013-T_BIB114","article-title":"Nonfinitely Based Binary Algebra Derived for Lattices","author":"Shallon","year":"1979"},{"key":"10.1016\/0747-7171(92)90013-T_BIB115","first-page":"3","article-title":"Identities of semigroups","volume":"29","author":"Shevrin","year":"1985","journal-title":"Izvestiya VUZ Mat"},{"key":"10.1016\/0747-7171(92)90013-T_BIB116","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1305\/ndjfl\/1093894637","article-title":"Non-recursiveness of the set of finite sets of equations whose theories are one based","volume":"13","author":"Smith","year":"1972","journal-title":"Notre Dame J. Formal Logic"},{"key":"10.1016\/0747-7171(92)90013-T_BIB117","series-title":"Lectures in Universal Algebra","volume":"43","year":"1986"},{"key":"10.1016\/0747-7171(92)90013-T_BIB118","article-title":"Clones in Universal Algebra","volume":"99","author":"Szendrei","year":"1986"},{"key":"10.1016\/0747-7171(92)90013-T_BIB119","doi-asserted-by":"crossref","first-page":"203","DOI":"10.4064\/fm-41-2-203-271","article-title":"Elementary properties of Abelian groups","volume":"41","author":"Szmielew","year":"1954","journal-title":"Fund. Math"},{"key":"10.1016\/0747-7171(92)90013-T_BIB120","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","article-title":"On the calculus of relations","volume":"6","author":"Tarski","year":"1941","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0747-7171(92)90013-T_BIB121","article-title":"Arithmetical classes and types of Boolean Algebras (preliminary report)","volume":"55, 64","author":"Tarski","year":"1949","journal-title":"Bull. Amer. Math. Soc"},{"key":"10.1016\/0747-7171(92)90013-T_BIB122","first-page":"77","article-title":"Undecidability of the theories of lattices and projective geometries","volume":"14","author":"Tarski","year":"1949","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0747-7171(92)90013-T_BIB123","first-page":"189","article-title":"A formalization of set theory without variables (abstract)","volume":"18","author":"Tarski","year":"1953","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0747-7171(92)90013-T_BIB124","first-page":"275","article-title":"Equational logic","author":"Tarski","year":"1968"},{"key":"10.1016\/0747-7171(92)90013-T_BIB125","article-title":"A Formalization of Set Theory Without Variables","volume":"41","author":"Tarski","year":"1987"},{"key":"10.1016\/0747-7171(92)90013-T_BIB126","article-title":"Equational logic","author":"Taylor","year":"1979","journal-title":"Houston J. Math. (Survey Issue)"},{"key":"10.1016\/0747-7171(92)90013-T_BIB127","article-title":"The Clone of a Topological Space","volume":"13","author":"Taylor","year":"1986"},{"key":"10.1016\/0747-7171(92)90013-T_BIB128","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/BF02488039","article-title":"Laws in finite loops","volume":"9","author":"Vaughan-Lee","year":"1979","journal-title":"Algebra Universalis"},{"key":"10.1016\/0747-7171(92)90013-T_BIB129","first-page":"293","article-title":"Nilpotence in permutable varieties","author":"Vaughan-Lee","year":"1983"},{"key":"10.1016\/0747-7171(92)90013-T_BIB130","year":"1990"},{"key":"10.1016\/0747-7171(92)90013-T_BIB131","article-title":"Pseudorecursive Varieties and Their Word Problems","author":"Wells","year":"1982"}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:074771719290013T?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:074771719290013T?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,6,30]],"date-time":"2021-06-30T22:45:13Z","timestamp":1625093113000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/074771719290013T"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,10]]},"references-count":143,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1992,10]]}},"alternative-id":["074771719290013T"],"URL":"https:\/\/doi.org\/10.1016\/0747-7171(92)90013-t","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[1992,10]]}}}