zbMATH中的参考文献（参考 922篇文章 参考，2标准条款)

1. Abrahamsson，Oskar:高阶逻辑的验证检查器（2020）
2. Barbosa，Haniel；Blanchette，Jasmin Christian；Fleury，Mathias；Fontaine，Pascal：配方加工的可缩放细粒度证明（2020年）
3. Basin，David A.；Lochbihler，Andreas；Sefidgar，S.Reza:密码：高阶逻辑中基于博弈的证明（2020）
4. Christoph Benzmüller；Scott，Dana S.：自动化HOL中的自由逻辑，范畴理论的实验应用（2020）
5. Cristiá，Maximiliano；Rossi，Gianfranco:求解有限集和二元关系上的无量词一阶约束（2020）
6. Jose Divasón；Joosten，Sebastiaan J.C.；Thiemann，René；Yamada，Akihisa：Berlekamp-Zassenhaus分解算法的验证实现（2020）
7. Dolu，Nazlı；Hastürk，Umur；Nature，Mustafa Kemal：考虑最近欧几里得距离的地区客户的最小-最大设施位置问题的解决方法（2020年）
8. Echenim，Mnacho；Guol，Hervé；Peltier，Nicolas：在Isabelle/HOL正式确定欧洲衍生品的Cox-Ross Rubinstein定价（2020年）
9. Simon Foster；Ana Cavalcanti；Samuel Canham；Jim Woodcock；Frank Zeyda：反应式设计合同统一理论（2020）
10. 盖里，洛伦佐；波佩斯库，安德烈：带绑定的语法形式化一般理论：扩展版（2020）
11. Joosten，Sebastiaan J.C.；Thiemann，René；Yamada，Akihisa:Isabelle/HOL中代数数的验证实现（2020）
12. Daniel Kirchner；Christoph Benzmüller；Zalta，Edward N.：功能类型理论中的机械化原理逻辑形而上学（2020）
13. Lammich，Peter:有效验证（UN）SAT证书检查（2020年）
14. Li，Wenda；Paulson，Lawrence C.：通过Isabelle/HOL的Cauchy指数评估缠绕数和计算复数根（2020）
15. 李嘉图，培尼亚：用Dafny证明红黑树（2020）
16. Roffé，Ariel Jonathan:重构者：一个使用三值逻辑来表示经验科学背景下信息缺失的计算机程序（2020）
17. 斯特罗贝尔，迈克尔：动态几何中的非标准分析（2020）
18. Zhang，Xingyuan；Urban，Christian；Wu，Chunhan：优先继承协议被证明是正确的（2020年）
19. 阿卜杜勒阿齐兹，穆罕默德；保尔森，劳伦斯C.：格林定理的伊莎贝尔/霍尔形式化（2019）
20. Barbosa，Haniel；Reynolds，Andrew；El Ouraoui，Daniel；Tinelli，Cesare；Barrett，Clark：将SMT求解器扩展到高阶逻辑（2019年）