Unique irredundant decompositions in upper continuous lattices Andrzej Walendziak (1995) Czechoslovak Mathematical Journal