ZBMaX中的参考文献（157篇）1标准条款）

1. Lammich，彼得：高效验证（UN）SAT证书检查（2020）
2. Bentkamp，亚力山大；布兰切特，Jasmin Christian；克拉科夫，迪特里希：深度学习表现力的形式证明（2019）
3. Miller、Dale：机械化元理论再探（2019）
4. 穆尔，J. Strother：从纯LISP定理证明者到ACL2（2019）的里程碑
5. 保尔森，Lawrence C.；尼普科夫，托拜厄斯；文策尔，Makarius：从LCF到伊莎贝尔/HOL（2019）
6. Matt、克里斯蒂安、毛瑞尔、尤利、波特曼、克里斯托弗、Renner、雷纳托、克特曼、BJ·Orn：系统代数理论（2018）
7. Schlichtkrull，安德斯：一阶逻辑解析微积分的形式化（2018）
8. 基哈尼，扎卡里亚；Miller，Dale；Renaud，Fabien：证明证据的语义框架（2017）
9. Hales、托马斯、亚当斯、马克、鲍尔、格特鲁德、Cezary、玛格龙、维克托、麦克劳林、阿、阿、尼、阿、尼布科、阿、奥布亚、阿、普列索、阿、Rute、阿、阿、阿、Ta、阿、、、、、、、、、Ky；罗兰：开普勒猜想的形式证明（2017）
10. Miller，Dale：证明检查与逻辑程序设计（2017）
11. Ziliani，贝塔，索索，马蒂厄：CIC新统一者的可理解指南，包括宇宙多态性和超载（2017）
12. 亚当斯，马克：波拉克不一致性的HooLoO2解（2016）
13. Ayala Rinc·N，Mauricio；费尔南德斯，Maribel；Rocha Oliveira，Ana Cristina：名义统一算法PVS中的完备性（2016）
14. Bettini，洛伦佐：用x语义实现IDE的类型系统（2016）
15. 卡洛德，Cristian S.；汤普森，迪克兰：不完备性、不可判定性和自动证明（邀请谈话）（2016）
16. 库马尔，Ramana；Arthan，Rob；MyReun，Magnus O.；欧文斯，史葛：高阶逻辑的自我形式化。语义、健全性和验证实现（2016）
17. 林，Yuhui；Grov，Gudmund；Arthan，罗布：理解和保持策略图形化，或者我们如何学习图表可以超过10K LOC（2016）
18. 马蒂丘克，丹尼尔；Murray，托比；文策尔，玛卡里乌斯：Eisbach：伊莎贝尔的证明方法语言（2016）
19. 斯泰纳格尔，克里斯蒂安；蒂曼，任埃：发展独立证明者的框架（2015）
20. 文策尔，Makulu:从伊莎贝尔/ ISAR的角度看交互式定理证明（2015）