zbMATH中的参考文献，5标准条款)

1. Basin，David A.；Lochbihler，Andreas；Sefidgar，S.Reza:密码：高阶逻辑中基于博弈的证明（2020）
2. Johansson，Moa：归纳引理的发现。调查（2019年）
3. Kellison，Ariel；Bickford，Mark；Constable，Robert:在类型论中实现欧几里得的直尺和罗盘构造（2019）
4. Kunčar，Ondřej；Popescu，Andrei:高阶逻辑中局部类型定义从类型到集合（2019）
5. 米勒，戴尔：重温机械化元理论（2019）
6. Rahli，Vincent；Bickford，Mark；Cohen，Liron；Constable，Robert L.：酒吧归纳法与建构型理论兼容（2019）
7. Reynolds，Andrew；Kuncak，Viktor；Tinelli，Cesare；Barrett，Clark；Deters，Morgan：SMT中基于反驳的合成（2019）
8. 安圭利，卡罗；哈珀，罗伯特：更高维度的意义解释（2018）
9. Avelar da Silva，Andréia B.；de Lima，Thaynara Arielly；Galdino，AndréLuiz:PVS中的形式化环理论（2018）
10. Avron，Arnon；Cohen，Liron:最小计算集合理论中的应用数学（2018）
11. Carette，雅克；Farmer，William M.；Laskowski，Patrick:HOL Light QE（2018年）
12. Farmer，William M.：将引用和评价纳入Church的类型理论（2018）
13. Harper，Robert:开放世界中的异常跟踪（2018）
14. Rahli，Vincent；Bickford，Mark:使用命名异常验证Brouwer对数字的连续性原则（2018）
15. Rahli，Vincent；Cohen，Liron；Bickford，Mark：由单调库支持的已验证定理证明器后端（2018）
16. Shankar，Natarajan:模型检验与演绎相结合（2018）
17. Berger，Ulrich；Hou，Tie:Church简单类型理论的可实现性解释（2017）
18. Buss，Samuel R.（编辑）；Iemhoff，Rosalie（编辑）；Kohlenbach，Ulrich（编辑）；Rathjen，Michael（编辑）：数理逻辑：证明理论，建构数学。2017年11月5日至11日（2017年）研讨会摘要
19. Cauderlier，Raphaël；Dubois，Catherine:Focusize and dedukti to rescue for proof interoperability（2017年）
20. 《皮埃尔与装饰之精华》（2017）