zbMATH中的参考文献，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. 和crisanfi-first-quantifier-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. Cox-Pelenichol《欧洲衍生产品定价》（the European Derivations of the European Derivations）；Nicolechol/the European Diverties of the European Derivations；Nicolechol/the European Derivations of the European Derivations；Nicolechol/the European Derivations of the Co
9. Simon Foster；Ana Cavalcanti；Samuel Canham；Jim Woodcock；Frank Zeyda：反应式设计合同统一理论（2020）
10. 形式化语法：洛伦佐·埃斯普里（Andrezo Escli），扩展版语法
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. Sternagel，Christian:Higman引理的机械化证明（2020）
19. 斯特罗贝尔，迈克尔：动态几何中的非标准分析（2020）
20. Zhang，Xingyuan；Urban，Christian；Wu，Chunhan：优先继承协议被证明是正确的（2020年）