Complements in the lattice of congruences

Several theorems are proved concerning the structure of universal algebras whose lattice of congruences is complemented. Among the corollaries are the semigroup results of Grappy. Under rather weak supplementary conditions it is established that the existence of complements in the lattice of congruences implies, both for the algebra itself and all its factor algebras, distributivity of these lattices.
Bibliography: 6 titles.