Semigroups for which all homomorphic images have complemented lattices of congruences. K. Auinger — 1991 Semigroup forum