A symmetric chain decomposition of L(4,n)
scientific article; zbMATH DE number 3698983