Efficient polynomial algorithms for distributive lattices
scientific article; zbMATH DE number 4212121
scientific article