Definability of principal congruences in equivalential algebras PaweŁ Idziak; Andrzej Wroński — 1998 Colloquium Mathematicae