特殊粒归结序列相关论文