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

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