安德斯·施利奇特克鲁尔;贾斯敏·布兰切特;德米特里·特拉泰尔;乌韦·沃尔德曼 正式化巴赫迈尔和甘津格的有序分辨率证明文件。 (英语) Zbl 1468.68307号 J.汽车。推理 64,第7期,1169-1195(2020).MSC公司:68伏15 03B35型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Schlichtkrull}等人,J.Autom。推理64,No.7,1169--1195(2020;Zbl 1468.68307) 全文: 内政部 链接
Manolios,Panagiotis公司;达隆·弗隆 序数运算:算法和机械化。 (英语) Zbl 1108.03020号 J.汽车。推理 34,第4期,387-423(2005).MSC公司:03B35型 03E10年 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Manolios}和\textit{D.Vroon},J.Autom。推理34,No.4,387--423(2005;Zbl 1108.03020) 全文: 内政部