Quasivarities of distributive lattices with a quantifier
variety of bounded distributive lattices with a quantifier
scientific article; zbMATH DE number 716442