An application of Dilworth's lattice of maximal antichains
scientific article; zbMATH DE number 3425617