[1] |
Kirby A. Baker, Finite equational bases for finite algebras in a congruence-distributive equational class, Advances in Math. 24 (1977), no. 3, 207 – 243. · Zbl 0356.08006 · doi:10.1016/0001-8708(77)90056-1 |
[2] |
Bjarni Jónsson, Algebras whose congruence lattices are distributive, Math. Scand. 21 (1967), 110 – 121 (1968). · Zbl 0167.28401 · doi:10.7146/math.scand.a-10850 |
[3] |
Roger C. Lyndon and Paul E. Schupp, Combinatorial group theory, Springer-Verlag, Berlin-New York, 1977. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 89. · Zbl 0368.20023 |
[4] |
Ralph McKenzie, On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model, J. Symbolic Logic 40 (1975), 186 – 196. · Zbl 0316.02052 · doi:10.2307/2271899 |
[5] |
R. Padmanabhan and R. W. Quackenbush, Equational theories of algebras with distributive congruences, Proc. Amer. Math. Soc. 41 (1973), 373 – 377. · Zbl 0277.08002 |
[6] |
R. Padmanabhan, Equational theory of algebras with a majority polynomial, Algebra Universalis 7 (1977), no. 2, 273 – 275. · Zbl 0383.08005 · doi:10.1007/BF02485437 |
[7] |
A. F. Pixley, Distributivity and permutability of congruence relations in equational classes of algebras, Proc. Amer. Math. Soc. 14 (1963), 105 – 109. · Zbl 0113.24804 |
[8] |
Walter Taylor, Equational logic, Houston J. Math. Survey (1979), iii+83. · Zbl 0421.08004 |