%0 Journal Article %A Day, Alan %A Freese, Ralph %T A Characterization of Identities Implying Congruence Modularity I %J Canadian journal of mathematics %D 1980 %P 1140-1167 %V 32 %N 5 %U http://geodesic.mathdoc.fr/articles/10.4153/CJM-1980-087-6/ %R 10.4153/CJM-1980-087-6 %F 10_4153_CJM_1980_087_6