TY  - RPRT
TI  - A finite basis theorem for residually finite, congruence meet-semidistributive varieties
AU  - Ross Willard
PY  - 1997
UR  - https://arxiv.org/abs/math/9712291
ID  - math/9712291
ER  -