A note on congruence distributive algebras
An open question of \textit{T. Katriňák} and \textit{S. El-Assar} [ibid. 48, 301-316 (1986; Zbl 0618.08001)] is answered: Every complete Boolean algebra which is not atomic is a counterexample of the proposed identity.
scientific article; zbMATH DE number 556304