Free \(Q\)-distributive lattices
free distributive lattices with a quantifier
scientific article; zbMATH DE number 883882