Semimodularity in lattices of congruences
scientific article; zbMATH DE number 3577246