Czédli Gábor: Some nontrivial implications in congruence varieties. In: Acta scientiarum mathematicarum, (56) 1-2. pp. 15-18. (1992)