On the determining of the form of congruences in abstract algebras with equationally definable constant elements
Volume 48 / 1960
Fundamenta Mathematicae 48 (1960), 325-341
DOI: 10.4064/fm-48-3-325-341