Definability of principal congruences in equivalential algebras
Volume 74 / 1998
Colloquium Mathematicum 74 (1998), 225-238
DOI: 10.4064/cm-74-2-225-238