Congruence meet-semidistributive locally finite varieties and a finite basis theorem
scientific article; zbMATH DE number 6904429