TY  - JOUR
AU  - Day, Alan
AU  - Freese, Ralph
TI  - A Characterization of Identities Implying Congruence Modularity I
JO  - Canadian journal of mathematics
PY  - 1980
SP  - 1140
EP  - 1167
VL  - 32
IS  - 5
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-1980-087-6/
DO  - 10.4153/CJM-1980-087-6
ID  - 10_4153_CJM_1980_087_6
ER  -