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

[2] Duda J.: Varieties having directly decomposable congruence classes. Čas. Pěst. Mat. 111 (1986), 394-403. MR 0871715 | Zbl 0606.08001

[3] Duda J.: Maľcev conditions for directly decomposable compatible relations. Czech. Math. J. 39 (1989), 674-680. MR 1018002

[4] Duda J.: Fraser-Horn identities can be written in two variables. Algebra Univ. 26 (1989), 178-180. DOI 10.1007/BF01236861 | MR 0999224 | Zbl 0669.08003

[5] Fraser G. A., Horn A.: Congruence relations in direct products. Proc. Amer. Math. Soc. 26 (1970), 390-394. DOI 10.1090/S0002-9939-1970-0265258-1 | MR 0265258 | Zbl 0241.08004

[6] Hagemann J.: Congruences on products and subdirect products of algebras. Preprint Nr. 219. TH-Darmstadt 1975.

[7] Niederle J.: Decomposability conditions for compatible relations. Czech. Math. J. 33 (1983), 522-524. MR 0721082 | Zbl 0538.08007