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

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