Partitioning the Boolean lattice into chains of large minimum size
scientific article; zbMATH DE number 1763794