zbMATH中的参考文献（参考文献63条,1标准件)

1. 杜布特，杰雷米；Yamada，Akihisa:非传递关系的不动点定理（2022）
2. 斯蒂芬，亚历山大；Benzmüller，Christoph:Leo III中的伸展高阶调质（2021）
3. 鲍姆加特纳，彼得；Schmidt，Renate A.：自下而上模型生成方法的阻塞和其他增强（2020）
4. 本斯米勒，克里斯托夫；大卫富恩马约尔：哥德尔本体论论证变体中正属性、超滤和模态崩溃的计算机支持分析（2020）
5. 本斯米勒，克里斯托夫；家长，泽维尔；van der Torre，Leendert:为伦理和法律推理设计规范性理论：\textslogickyframework，methodology，and tool support（2020年）
6. 本斯米勒，克里斯托夫；Scott，Dana S.：自动化HOL中的自由逻辑，范畴理论的实验应用（2020）
7. 市长，大卫；Benzmüller，Christoph:计算解释学：自然语言论据逻辑分析的综合方法（2019）
8. 市长，大卫；Benzmüller，Christoph:使用表达逻辑组合对复杂自然语言论据的机械化评估（2019）
9. 卡利斯齐克，塞扎里；Pąk，Karol:Mizar作为Isabelle对象逻辑的语义（2019）
10. 米利切维奇，亚历山达；附近，约瑟夫P。；康恩苏克；丹尼尔·杰克逊：合金*：通用高阶关系约束求解器（2019）
11. 保尔森，劳伦斯·C。；尼普科，托比亚斯；温泽尔，马卡里乌斯：从LCF到伊莎贝尔/霍尔（2019）
12. 阿卜杜勒阿齐兹，穆罕默德；诺里斯，迈克尔；Gretton，Charles:上边界状态空间直径的正式验证算法（2018）
13. 阿维加德，杰里米（编辑）；布兰切特，贾斯敏·克里斯蒂安（编辑）；克莱恩，格温（编辑）；保尔森，劳伦斯（编辑）；波佩斯库，安德烈（编辑）；斯内尔，格雷戈（编辑）：“交互定理证明中的里程碑”简介（2018）
14. 本斯米勒，克里斯托夫；阿里·法贾米；家长，泽维尔：霍尔的二元道义逻辑（2018）
15. 本斯米勒，克里斯托夫；家长，泽维尔；van der Torre，Leendert:道义逻辑推理基础设施（2018）
16. 戴勒，西尔文；哈撒，大卫；三月，克劳德；Moy，Yannick:为反例生成提供最弱的先决条件演算（2018）
17. 杜布瓦，凯瑟琳；Giorgetti，Alain:自定义数据生成器的测试和证明（2018）
18. Guttmann，Walter:用Stone关系代数验证最小生成树算法（2018）
19. Lochbihler，Andreas:使用经过验证的编译器实现多线程Java的类型安全模型（2018）
20. Paulson，Lawrence C.：计算逻辑：它的起源和应用（2018）