The variety of Boolean semirings
variety of bounded distributive lattices
scientific article; zbMATH DE number 89551
scientific article