{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,20]],"date-time":"2026-05-20T03:21:09Z","timestamp":1779247269376,"version":"3.51.4"},"reference-count":48,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1992,2,1]],"date-time":"1992-02-01T00:00:00Z","timestamp":696902400000},"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":7837,"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,2]]},"DOI":"10.1016\/s0747-7171(08)80089-2","type":"journal-article","created":{"date-parts":[[2008,6,25]],"date-time":"2008-06-25T09:59:32Z","timestamp":1214387972000},"page":"175-207","source":"Crossref","is-referenced-by-count":27,"title":["Discriminator varieties and symbolic computation"],"prefix":"10.1016","volume":"13","author":[{"given":"Stanley","family":"Burris","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0747-7171(08)80089-2_bib1","series-title":"Sohahle Cases of the Decision Problem","author":"Ackermann","year":"1954"},{"key":"10.1016\/S0747-7171(08)80089-2_bib2","series-title":"Solving equations in nilpotent groups","author":"Albert","year":"1991"},{"key":"10.1016\/S0747-7171(08)80089-2_bib3","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1090\/S0002-9947-1948-0025453-6","article-title":"Topological representations of algebras","volume":"63","author":"Arens","year":"1948","journal-title":"Trens. Amer. Math. Soc."},{"key":"10.1016\/S0747-7171(08)80089-2_bib4_1","doi-asserted-by":"crossref","first-page":"65","DOI":"10.2307\/2268862","article-title":"A system of axiomatic set theory. Part I","volume":"2","author":"Bernays","year":"1937","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0747-7171(08)80089-2_bib4_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2267281","article-title":"A system of axiomatic set theory. Part II","volume":"6","author":"Bernays","year":"1937","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0747-7171(08)80089-2_bib5","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1017\/S0305004100013463","article-title":"On the structure of abstract algebras","volume":"31","author":"Birkhoff","year":"1935","journal-title":"Proc. Oamb. Phil. Soc."},{"key":"10.1016\/S0747-7171(08)80089-2_bib6","doi-asserted-by":"crossref","first-page":"764","DOI":"10.1090\/S0002-9904-1944-08235-9","article-title":"Subdirect unions in universell algebra","volume":"50","author":"Birkhoff","year":"1944","journal-title":"Bull. Amer. Math. Soc."},{"key":"10.1016\/S0747-7171(08)80089-2_bib7","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1137\/0212047","article-title":"Varieties of \u201cif-then-else\u201d","volume":"12","author":"Bloom","year":"1983","journal-title":"Siam J. Computing"},{"key":"10.1016\/S0747-7171(08)80089-2_bib8","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF02485416","article-title":"Equational compactness in quasi-primal varieties","volume":"7","author":"Bulman-Fleming","year":"1977","journal-title":"Algebra Universalis"},{"key":"10.1016\/S0747-7171(08)80089-2_bib9","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/S0747-7171(87)80065-2","article-title":"Embedding Boolean expressions into logic programming","volume":"4","author":"B\u00fcttner","year":"1987","journal-title":"J. Symbolic Computation"},{"key":"10.1016\/S0747-7171(08)80089-2_bib10","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BFb0063430","article-title":"Boolean constructions","volume":"1004","author":"Burris","year":"1984","journal-title":"Universal Algebra and Lattice Theory"},{"key":"10.1016\/S0747-7171(08)80089-2_bib11","unstructured":"Burris, S., McKenzie, R., Valeriote, M., Decidable discriminator varieties. To appear in J. Symbolic Logic."},{"key":"10.1016\/S0747-7171(08)80089-2_bib12","volume":"78","author":"Burris","year":"1981"},{"key":"10.1016\/S0747-7171(08)80089-2_bib13","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1090\/S0002-9947-1979-0522263-8","article-title":"Sheaf constructions and their elementary properties","volume":"248","author":"Burris","year":"1979","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/S0747-7171(08)80089-2_bib14","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/BF01110158","article-title":"The representation of biregular rings by sheaves","volume":"91","author":"Dauns","year":"1966","journal-title":"Math. Z."},{"key":"10.1016\/S0747-7171(08)80089-2_bib15","article-title":"Completion and its applications","volume":"Vol. 2","author":"Dershowitz","year":"1989"},{"key":"10.1016\/S0747-7171(08)80089-2_bib16","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/BF01174150","article-title":"Generalized \u201cBoolean\u201d theory of universal algebras. Part I. Subdirect sums and normal representation theorem","volume":"58","author":"Foster","year":"1953","journal-title":"Math. Z."},{"key":"10.1016\/S0747-7171(08)80089-2_bib17","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF01180250","article-title":"Generalized \u201cBoolean\u201d theory of universal algebras. Part II, Identities and subdirect sums in functionally complete algebras","volume":"59","author":"Foster","year":"1953","journal-title":"Math. Z."},{"key":"10.1016\/S0747-7171(08)80089-2_bib18","series-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"Garey","year":"1979"},{"key":"10.1016\/S0747-7171(08)80089-2_bib19","series-title":"The Consistency of the Axiom of Choice and the Generalized Continuum Hypothesis with the Axioms of Set Theory","author":"G\u00f6del","year":"1940"},{"key":"10.1016\/S0747-7171(08)80089-2_bib20_1","series-title":"Cylindric algebras. Part I","author":"Henkln","year":"1975"},{"key":"10.1016\/S0747-7171(08)80089-2_bib20_2","series-title":"Cylindric algebras. Part II","author":"Henkln","year":"1975"},{"key":"10.1016\/S0747-7171(08)80089-2_bib21","article-title":"Recherches sur la th\u00e9orie de la d\u00e9monstration","volume":"33","author":"Herbrand","year":"1930","journal-title":"Travaux de la Soci\u00e9t\u00e9 des Sciences et des Lettres Varsovie. Cl. III"},{"key":"10.1016\/S0747-7171(08)80089-2_bib22","series-title":"Topics in Algebra","author":"Herstein","year":"1975"},{"key":"10.1016\/S0747-7171(08)80089-2_bib23","first-page":"331","article-title":"Rewrite methods for clausal and non-clausal theorem proving","volume":"154","author":"Hsiang","year":"1983"},{"key":"10.1016\/S0747-7171(08)80089-2_bib24","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0004-3702(85)90074-8","article-title":"Refutational theorem proving using term rewriting systems","volume":"25","author":"Hsiang","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0747-7171(08)80089-2_bib25","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/S0747-7171(87)80024-X","article-title":"Rewrite method for theorem proving in first-order theory with equality","volume":"3","author":"Hsiang","year":"1987","journal-title":"J. Symbolic Computation"},{"key":"10.1016\/S0747-7171(08)80089-2_bib26","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1090\/S0002-9947-1904-1500675-4","article-title":"Sets of independent postulates for the algebra of logic","volume":"5","author":"Huntington","year":"1904","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/S0747-7171(08)80089-2_bib27","doi-asserted-by":"crossref","first-page":"695","DOI":"10.2307\/1969205","article-title":"Structure theory for algebraic algebras of bounded degree","volume":"46","author":"Jacobson","year":"1945","journal-title":"Ann. of Math."},{"key":"10.1016\/S0747-7171(08)80089-2_bib28","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1215\/S0012-7094-37-00335-1","article-title":"A representation of generalized Boolean rings","volume":"3","author":"McCoy","year":"1937","journal-title":"Duke Math. J."},{"key":"10.1016\/S0747-7171(08)80089-2_bib29","series-title":"A note on the unification of group equations","author":"Lawrence","year":"1991"},{"key":"10.1016\/S0747-7171(08)80089-2_bib30","series-title":"Unification in nilpotent and solvable varieties of groups","author":"Lawrence","year":"1991"},{"key":"10.1016\/S0747-7171(08)80089-2_bib31","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 non-trivial model","volume":"40","author":"McKenzie","year":"1975","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0747-7171(08)80089-2_bib32","volume":"Vol. I","author":"McKenzie","year":"1987"},{"key":"10.1016\/S0747-7171(08)80089-2_bib33","first-page":"234","article-title":"An equational logic sampler","volume":"355","author":"McNulty","year":"1989"},{"key":"10.1016\/S0747-7171(08)80089-2_bib34","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1137\/0216033","article-title":"Equational bases for if-then-else","volume":"16","author":"Mekler","year":"1987","journal-title":"Siam J. Computing"},{"key":"10.1016\/S0747-7171(08)80089-2_bib35","series-title":"Thirty Years of Foundational Studies","author":"Mostowski","year":"1965"},{"key":"10.1016\/S0747-7171(08)80089-2_bib36","doi-asserted-by":"crossref","first-page":"742","DOI":"10.1145\/96559.96569","article-title":"Unification in primal algebras, their powers and their varieties","volume":"37","author":"Nipkow","year":"1990","journal-title":"J. Assoc. Comp. Mach."},{"key":"10.1016\/S0747-7171(08)80089-2_bib37","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/BF02485437","article-title":"Equational theory of algebras with a majority polynomial","volume":"7","author":"Padmanabhan","year":"1977","journal-title":"Algebra Universalis"},{"key":"10.1016\/S0747-7171(08)80089-2_bib38","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/S0747-7171(85)80026-2","article-title":"Equational methods in first-order predicate calculus","volume":"1","author":"Paul","year":"1985","journal-title":"J. Symbolic Computation"},{"key":"10.1016\/S0747-7171(08)80089-2_bib39","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","article-title":"A machine oriented logic based on the resolution principle","volume":"12","author":"Robinson","year":"1965","journal-title":"J. Assoc. Comp. Mach."},{"key":"10.1016\/S0747-7171(08)80089-2_bib40","doi-asserted-by":"crossref","first-page":"167","DOI":"10.2307\/2371676","article-title":"Post algebras I. Postulates and general theory","volume":"64","author":"Rosenbloom","year":"1942","journal-title":"Amer. J. Math."},{"key":"10.1016\/S0747-7171(08)80089-2_bib41","volume":"Vol. I\u2013III","author":"Schr\u00f6der","year":"1890"},{"key":"10.1016\/S0747-7171(08)80089-2_bib42","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0747-7171(89)80012-4","article-title":"Unification theory","volume":"7","author":"Siekmann","year":"1989","journal-title":"J. Symbolic Computation"},{"key":"10.1016\/S0747-7171(08)80089-2_bib43","doi-asserted-by":"crossref","DOI":"10.1090\/coll\/041","article-title":"A Formalism of Set Theory without Variables","volume":"41","author":"Tarski","year":"1987","journal-title":"Amer. Math. Soc. Colloq. Publications"},{"key":"10.1016\/S0747-7171(08)80089-2_bib44","article-title":"Equational Logic","volume":"5","author":"Taylor","year":"1979","journal-title":"Houston J. of Math"},{"key":"10.1016\/S0747-7171(08)80089-2_bib45","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1515\/crll.1925.154.219","article-title":"Eine Axiomatisierung der Mengenlehre","volume":"154","author":"von Neumann","year":"1925","journal-title":"J. Reine Angew. Math."},{"key":"10.1016\/S0747-7171(08)80089-2_bib46","volume":"Band 6","author":"Werner","year":"1978"}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717108800892?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717108800892?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,5,18]],"date-time":"2023-05-18T23:51:43Z","timestamp":1684453903000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0747717108800892"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,2]]},"references-count":48,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1992,2]]}},"alternative-id":["S0747717108800892"],"URL":"https:\/\/doi.org\/10.1016\/s0747-7171(08)80089-2","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[1992,2]]}}}