Heiting代数相关论文