Distributive groupoids and the finite basis property
finitely generated distributive quasigroup
finitely generated commutative distributive groupoid
scientific article; zbMATH DE number 3737939