zbMATH中的参考文献（参考文献158篇,1标准件)

1. 波拿契娜，玛丽亚·保拉；格雷厄姆·伦格兰德，圣潘；Shankar，Natarajan:理论组合的冲突驱动满足性：引理、模和证明（2022）
2. Lammich，Peter:有效验证（UN）SAT证书检查（2020年）
3. 本特坎普，亚历山大；布兰切特，贾斯敏·克里斯蒂安；克拉科夫，迪特里希：深度学习表现力的正式证明（2019）
4. 米勒，戴尔：重温机械化元理论（2019）
5. Moore，J Strother:从纯Lisp定理证明者到ACL2的里程碑（2019）
6. 保尔森，劳伦斯·C。；尼普科，托比亚斯；温泽尔，马卡里乌斯：从LCF到伊莎贝尔/霍尔（2019）
7. 马特，克里斯蒂安；毛雷尔，尤利；波特曼，克里斯托弗；雷纳，雷纳托；塔克曼，比约恩：走向系统的代数理论（2018）
8. Schlichtkrull，Anders:一阶逻辑解析演算的形式化（2018）
9. 基哈尼，扎卡里亚；米勒，戴尔；Renaud，Fabien：《证据的语义框架》（2017）
10. 哈尔斯，托马斯；亚当斯，马克；鲍尔，格特鲁德；当，达达特；哈里森，约翰；黄乐忠；卡利斯齐克，塞扎里；马格伦，维克多；麦克劳林，肖恩；阮，达唐；阮广忠；尼普科，托比亚斯；奥布亚，史蒂文；普莱索，约瑟夫；鲁特，杰森；索洛维耶夫，亚历克西；Ta，Thi Hoai An公司；川，南庄；特里厄，Thi Diep；城市，约瑟夫；伍，肯塔基州；Zumkeller，Roland:开普勒猜想的正式证明（2017）
11. 米勒，戴尔：验证检查和逻辑编程（2017）
12. Ziliani，贝塔；Sozeau，Matthieu:CIC新统一体的可理解指南，包括宇宙多态性和过载（2017）
13. Adams，Mark:HOL Zero对Pollack不一致性的解决方案（2016）
14. 毛里西奥·阿亚拉·林克翁；费尔南德斯，玛丽贝尔；Rocha Oliveira，Ana Cristina:名义统一算法的PVS完备性（2016）
15. Bettini，Lorenzo:用Xsemantics实现IDE的类型系统（2016）
16. 卡鲁德，克里斯蒂安S。；汤普森，德克兰：不完全性，不可判定性和自动证明（特邀演讲）（2016）
17. 库马尔、拉马纳；阿尔森，罗伯；梅林，马格努斯O。；欧文斯，斯科特：高阶逻辑的自形式化。语义、可靠性和验证实现（2016）
18. 林玉辉；格罗夫，古德蒙德；Arthan，Rob：以图形化的方式理解和维护战术，或者我们是如何认识到一个图表的价值可以超过10万LoC（2016年）
19. 但以理，马提丘；莫里，托比；Wenzel，Makarius:Eisbach:Isabelle的验证方法语言（2016）
20. 胸骨，基督教；蒂曼，勒内：开发独立认证机构的框架（2015）