Definability of principal congruences in equivalential algebras

PaweŁ Idziak, Andrzej Wroński
1998 Colloquium Mathematicum  
doi:10.4064/cm-74-2-225-238 fatcat:cudmccnqr5hkhf7wuisqodxyqi