ZBMaX中的参考文献（919篇）2篇标准文章）

1. Abrahamsson，Oskar：高阶逻辑验证检查器（2020）
2. 巴博萨，汉尼尔；Blanchette，Jasmin Christian；Fleury，马蒂亚斯；方丹，Pascal：公式处理的可伸缩细粒度证明（2020）
3. 盆地，David A.；Lochbihler，安德烈亚斯；Sefidgar，S. Reza：密码子：高阶逻辑中基于博弈的证明（2020）
4. 克里斯托夫，史葛，Dana S.：HOL自动化自由逻辑，范畴理论的实验应用（2020）
5. 克里斯蒂亚，Maximiliano；罗西，GiangFrango：求解有限集上的无量词一阶约束和二元关系（2020）
6. 迪瓦斯，若泽；乔斯滕，Sebastiaan J. C.；蒂曼，任美；山田，阿希希亚：BelkkAMP Zasehanas分解算法的验证实现（2020）
7. Dolu，纳斯尔；Huasu RK，UMUR；Tealand，Mustafa Kemal：考虑最接近欧氏距离的区域用户最小MIX设施选址问题的求解方法（2020）
8. Echenim，Mnacho；GuioL，Hevee；Peltier，尼古拉斯：在伊莎贝尔/HOL（2020）中对欧洲衍生品Cox Ross Rubinstein定价的形式化
9. 福斯特，西蒙；卡瓦尔坎蒂，阿纳河；坎纳姆，塞缪尔；伍德考克，吉姆；泽达，弗兰克：反应设计合同的统一理论（2020）
10. Gheri，洛伦佐；波佩斯库，安德列：一个形式化的语法和绑定理论：扩展版本（2020）
11. 乔斯滕，Sebastiaan J. C.；蒂曼，任美；山田，阿希希亚：伊莎贝尔/HOL（2020）中代数数的验证实现
12. 基什内尔，丹尼尔；布兰姆勒，克里斯托夫；Zalta，Edward N.：功能类型理论中机械原理的逻辑形而上学（2020）
13. Lammich，彼得：高效验证（UN）SAT证书检查（2020）
14. 李，Wenda；保尔森，Lawrence C.：用柯西指数评价缠绕数和复根数（2020）
15. 佩尼亚，李嘉图：使用DAFNY（2020）对红黑树的断言证明
16. RoeEy，Ariel Jonathan：重建器：一个使用三值逻辑来表示经验科学语境中缺乏信息的计算机程序（2020）
17. 斯托贝尔，米迦勒：动态几何中的非标准分析（2020）
18. 张，Xingyuan；城市，基督教；吴，Chunhan：优先继承协议被证明是正确的（2020）
19. 阿卜杜勒阿齐兹，穆罕默德；保尔森，Lawrence C.：Green定理的伊莎贝尔/ HOL形式化（2019）
20. 巴博萨，汉尼尔；雷诺兹，安得烈；El Uououi，丹尼尔；Tinelli，CasARE；巴雷特，克拉克：扩展SMT求解器到高阶逻辑（2019）