阿费尔特，雷纳德;西里尔·科恩 在依赖型理论中用可拓方法度量结构，并将其应用于集成。 （英语） Zbl 07739778号 J.汽车。推理 67，第3期，第28号论文，27页（2023年）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Affeldt}和\textit{C.Cohen}，J.Autom。推理67，第3号，论文28，27页（2023；Zbl 07739778） 全文： DOI程序 arXiv公司
雷纳尔德·阿弗尔德;西里尔·科恩;玛丽·柯让;阿西亚·马布比;Damien Rouhling公司;坂口和彦 依赖型理论中的竞争继承路径：功能分析中的一个案例研究。 （英语） Zbl 07614659号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12167, 3-20 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Affeldt}等人，Lect。注释计算。科学。12167，3--20（2020；Zbl 07614659） 全文： DOI程序