A proof of Lyndon's finite basis theorem
two-element algebra of finite similarity type
scientific article; zbMATH DE number 3702751