Algebras and varieties satisfying the congruence extension property - Chajda Ivan (1992)