查找： 关键词为 distributive lattice of semirings with additional zero elelments 的文献