查找： 关键词为 加法含零半环的分配格 的文献