Efficient polynomial algorithms for distributive lattices

From MaRDI portal
Publication:810071