[1] Agliano P., Ursini A.: 
On subtractive varieties II: General properties. Algebra Universalis 36 (1996), 222-259. 
MR 1402514 | 
Zbl 0902.08010[2] Agliano P., Ursini A.: 
On subtractive varieties III: From ideals to congruences. Algebra Universalis 37 (1997), 296-333. 
MR 1452404 | 
Zbl 0906.08005[3] Bělohlávek R., Chajda I.: 
A polynomial characterization of congruence classes. Algebra Universalis 37 (1997), 235-242. 
MR 1441388[4] Chajda I.: 
Regularity and permutability of congruences. Algebra Universalis 17 (1983), 170-173. 
MR 0726270 | 
Zbl 0537.08006[5] Fraser G. A., Horn A.: 
Congruence relations in direct products. Proc. Amer. Math. Soc. 26 (1970), 390-394. 
MR 0265258 | 
Zbl 0241.08004[6] Mal'cev A. I.: 
On the general theory of algebraic systems. Matem. Sbornik 35 (1954), 3-20 (in Russian). 
MR 0065533[7] Ursini A: 
Sulle varietà di algebre con buona teoria degli ideali. Boll. U. M. I. 6, 4 (1972), 90-95. 
MR 0314728[9] Wille R.: 
Kongruenzklassengeometrien. Lecture Notes in Math. 113, Springer-Verlag, Berlin-New York, 1970. 
MR 0262149 | 
Zbl 0191.51403