[1] W. H. Cornish: A minimal equational base for commutative BCK-algebras. Math. Sem. Kobe Univ. 10 (1982), 251-259. MR 0704906 | Zbl 0524.03054

[2] I. Chajda: Lattices of compatible relations. Arch Math. (Brno) 13 (1977), 89-96. MR 0463081 | Zbl 0372.08002

[3] J. Duda: On two schemes applied to Maľcev type theorems. Ann. Univ. Sci. Budapest, Sectio Math. 26 (1983), 39-45. MR 0719774

[4] J. Duda: A Maľcev characterization of n-permutable varieties with directly decomposable congruences. Algebra Univ. 16 (1983), 269-274. MR 0695045

[5] J. Duda: 3-permutable and directly decomposable congruences. Glasnik Matematički (Zagreb), to appear. MR 0866754 | Zbl 0601.08005

[6] J. Duda: Varieties with directly decomposable diagonal subalgebras form Maľcev classes. Ann. Univ. Sci. Budapest, Sectio Math., to appear.

[7] G. A. Fraser A. Horn: Congruence relations in direct products. Proc. Amer. Math. Soc. 26 (1970), 390-394. MR 0265258

[8] G. Grätzer: Universal Algebra, Second Expanded Edition. Springer-Verlag, Berlin, Heidelberg and New York, 1979. MR 0538623

[9] J. Hagemann A. Mitsche: On n-permutable congruences. Algebra Univ. 3 (1973), 8-12. MR 0330010

[10] B. Jónsson: On the representation of lattices. Math. Scand. 1 (1953), 193-206. MR 0058567

[11] J. Niederle: Decomposition conditions for compatible relations. Czech. Math. J. 33 (1983), 522-524. MR 0721082

[12] H. Werner: Congruences on products of algebras and functionally complete algebras. Algebra Univ. 4 (1974), 99-105. MR 0360416 | Zbl 0311.08006