Definable principal congruences in varieties of groups and rings
scientific article; zbMATH DE number 3632568