Sperner type theorems and complexity of minimal disjunctive normal forms of monotone Boolean functions
scientific article; zbMATH DE number 3717318