semirings相关论文