zbMATH中的参考文献（引用于，2标准条款)

1. Abrahamsson，Oskar:高阶逻辑的验证检查器（2020）
2. Abrahamsson，Oskar；Ho，Son；Kanabar，Hrutvik；Kumar，Ramana；Myreen，Magnus O.；Norrish，Michael；Tan，Yong Kiam:从单体霍尔函数合成CakeML的制样（2020年）
3. Barbosa，Haniel；Blanchette，Jasmin Christian；Fleury，Mathias；Fontaine，Pascal：配方加工的可缩放细粒度证明（2020年）
4. Basin，David A.；Lochbihler，Andreas；Sefidgar，S.Reza:密码：高阶逻辑中基于博弈的证明（2020）
5. Christoph Benzmüller；Fuenmayor，David:Gödel本体论论证变体中正属性、超滤器和模态崩溃的计算机支持分析（2020）
6. Benzmüller，Christoph；Parent，Xavier；van der Torre，Leendert:为伦理和法律推理设计规范性理论：\textslogickyframework，methodology，and tool support（2020年）
7. Christoph Benzmüller；Scott，Dana S.：自动化HOL中的自由逻辑，范畴理论的实验应用（2020）
8. Rudolf Berghammer；Furusawa，Hitoshi；Guttmann，Walter；Höfner，Peter:路径的关系特征（2020）
9. Cristiá，Maximiliano；Rossi，Gianfranco:求解有限集和二元关系上的无量词一阶约束（2020）
10. Jose Divasón；Joosten，Sebastiaan J.C.；Thiemann，René；Yamada，Akihisa：Berlekamp-Zassenhaus分解算法的验证实现（2020）
11. Dolu，Nazlı；Hastürk，Umur；Nature，Mustafa Kemal：考虑最近欧几里得距离的地区客户的最小-最大设施位置问题的解决方法（2020年）
12. Eberl，Manuel；Haslbeck，Max W.；Nipkow，Tobias:随机二叉树结构的验证分析（2020）
13. Echenim，Mnacho；Guol，Hervé；Peltier，Nicolas：在Isabelle/HOL正式确定欧洲衍生品的Cox-Ross Rubinstein定价（2020年）
14. Simon Foster；Ana Cavalcanti；Samuel Canham；Jim Woodcock；Frank Zeyda：反应式设计合同统一理论（2020）
15. 盖里，洛伦佐；波佩斯库，安德烈：带绑定的语法形式化一般理论：扩展版（2020）
16. Joosten，Sebastiaan J.C.；Thiemann，René；Yamada，Akihisa:Isabelle/HOL中代数数的验证实现（2020）
17. Kahl，Wolfram:教学工具中的计算关系代数证明（2020）
18. Daniel Kirchner；Christoph Benzmüller；Zalta，Edward N.：功能类型理论中的机械化原理逻辑形而上学（2020）
19. Lammich，Peter:有效验证（UN）SAT证书检查（2020年）
20. Li，Wenda；Paulson，Lawrence C.：通过Isabelle/HOL的Cauchy指数评估缠绕数和计算复数根（2020）