ZBMaCT中的参考文献（45篇文章中引用）

1. 伯克达尔，拉尔斯；Clouston，拉纳德；曼纳，Bassel；Ejlers M·格尔伯格，拉斯姆斯；皮茨，Andrew M.；吐痰者，BAS：模态依赖型理论和相关右伴随（2020）
2. 卢尔德卡门、Miranda Perea、Favio E.、Linares Ar·瓦洛、P. Selene：建构必要性的公理和对偶系统，一种形式化验证的等价性（2019）
3. 杰伊，巴里：高阶函数的内涵计算（2019）
4. 农民、William M.：教会理论的引用与评价（2018）
5. 科斯塔塞科，乔圣奥，费雷拉，Paulo；洛伦萨，雨果：分布式和异构查询的能力本土化（2017）
6. 费雷拉，弗朗西斯科；Pientka，汤屹云：使用一流绑定的语法程序（2017）
7. 弗朗西斯、Nissim：和谐与置换转换（2017）
8. Jacinto，布鲁诺；Read，史蒂芬：一般消除稳定性（2017）
9. G. A.：论内涵的语义（2017）
10. 克劳斯顿、拉纳德、比扎克、阿勒、格拉斯沃尔、Hans Bugge、伯克达尔、拉尔斯：守卫的lambda演算：共感性类型的有保护递归的程序设计和推理（2016）
11. 德帕瓦，巴莱里亚；Ritter，艾克：纤维模态模式理论（2016）
12. 费尔特曼，尼古拉斯；Angiuli，Carlo；Acar，Umut A.；法塔哈里安，Kayvon：自动分裂两阶段λ演算（2016）
13. Bartosz：一个具有非本原身份的自然主义一阶语言的亚原子自然演绎（2016）
14. 伯杰，马丁；特拉特，劳伦斯：同构生成运行元编程的程序逻辑（2015）
15. 阅读，史蒂芬：一般消除和谐和更高层次的规则（2015）
16. Beklemishev，列夫；Gurevich，尤里：命题析取的原逻辑（2014）
17. 博内利，爱德华多；斯特伦，Gabriela：证明的假设逻辑（2014）
18. 弗朗茨，Nissim：多结论自然演绎中的和声（2014）
19. 弗朗西斯，NISSIM：由自然语言启发的逻辑：量词作为子语言（2014）
20. 弗朗西斯，Nissim：证明理论语义学中的双边主义（2014）