Muktar E. Elzobi Zbigniew Lonc Partitioning Boolean lattices into antichains. 45-55 2003 260 Discrete Mathematics 1-3 http://dx.doi.org/10.1016/S0012-365X(02)00448-X db/journals/dm/dm260.html#ElzobiL03