@misc{indiciaec4e3eee53767, title = {A finite basis theorem for residually finite, congruence meet-semidistributive varieties}, author = {Ross Willard}, year = {1997}, url = {https://arxiv.org/abs/math/9712291}, note = {Source identifier: math/9712291} }