zbMATH中的参考文献，1标准件)

1. Baumgartner，Peter；Schmidt，Renate A.：自下而上模型生成方法的阻塞和其他增强（2020）
2. Christoph Benzmüller；Scott，Dana S.：自动化HOL中的自由逻辑，范畴理论的实验应用（2020）
3. David Fuenmayor；Benzmüller，Christoph:使用表达逻辑组合对复杂自然语言论点的机械化评估（2019）
4. Kaliszyk，Cezary；Pąk，Karol:Mizar作为Isabelle对象逻辑的语义（2019）
5. Milicevic，Aleksandar；Near，Joseph P.；Kang，Eunsuk；Jackson，Daniel:合金*：通用高阶关系约束求解器（2019）
6. Paulson，Lawrence C.；Nipkow，Tobias；Wenzel，Makarius:从LCF到Isabelle/HOL（2019年）
7. Abdulaziz，Mohammad；Norrish，Michael；Gretton，Charles:正式验证的上边界状态空间直径算法（2018）
8. Avigad，Jeremy（编辑）；Blanchette，Jasmin Christian（编辑）；Klein，Gerwin（编辑）；Paulson，Lawrence（编辑）；Popescu，Andrei（编辑）；Sneling，Gregor（编辑）：“交互定理证明中的里程碑”简介（2018）
9. 《父母》杂志（Farntic，Farntic，Diorphi，2018年；Diorphi，Diyophi；Diorphi）
10. Benzmüller，Christoph；Parent，Xavier；van der Torre，Leendert：道义逻辑推理基础设施（2018）
11. 西尔文·戴勒（Dailler），大卫·豪扎（Hauzar），克劳德·马奇（Marché），莫伊（Moy），扬尼克（Yannick）：为反例生成提供最薄弱的前提条件演算（2018年）
12. Dubois，Catherine；Giorgetti，Alain:自定义数据生成器的测试和证明（2018）
13. Guttmann，Walter:用Stone关系代数验证最小生成树算法（2018）
14. Lochbihler，Andreas:使用经过验证的编译器实现多线程Java的类型安全模型（2018）
15. Paulson，Lawrence C.：计算逻辑：它的起源和应用（2018）
16. Schreiner，Wolfgang:用RISCAL验证数学定理和算法（2018）
17. Benzmüller，C.；Weber，Leon；Woltzenlogel Paleo，Bruno:安德森-哈耶克本体论争议的计算机辅助分析（2017）
18. Berghammer，Rudolf；Guttmann，Walter:多重关系及其性质的代数方法（2017）
19. 朱利安·宾达拉；布兰切特，贾斯敏·克里斯蒂安；布兹，艾梅里克；德沙奈斯，马丁；弗勒里，马蒂亚斯；霍尔兹尔，约翰内斯；坤查尔，昂德涅；洛克比勒，安德烈亚斯；梅耶，法比安；潘尼，洛伦兹；波佩斯库，安德烈；斯特纳格尔，克里斯蒂安；蒂曼，雷内；特劳特尔，德米特里：高阶逻辑的基础（co）数据类型和（co）递归（2017）
20. Blanchette，Jasmin Christian；Waldmann，Uwe；Wand，Daniel:A lambda-free高阶递归路径顺序（2017）