Lattices of width three generate a nonfinitely based variety
scientific article; zbMATH DE number 3825890