Venn diagrams and symmetric chain decompositions in the Boolean lattice. Griggs, Jerrold; Killian, Charles E.; Savage, Carla D. — 2004 The Electronic Journal of Combinatorics [electronic only]