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

1. Nguembang Fadja，阿尔诺；RiuuZi，法布里齐奥：提升概率逻辑程序的判别学习（2019）
2. 拜尔，Dirk；Gulwani，SUMIT；施密特，David A.：模型检验与数据流分析相结合（2018）
3. Van Cauwelaert，Sascha；隆巴尔迪，米歇尔；肖斯，彼埃尔：全球约束在实践中有多有效？一个公平的实验框架（2018）
4. 米歇尔，L；Van Hentenryck，P.：约束编程的微内核体系结构（2017）
5. RiuuZi，法布里齐奥：具有函数符号的正常程序的分布语义（2016）
6. Iser，Markus；曼尼，诺伯特；辛茨，卡斯滕：CNF公式中嵌套门的识别（2015）
7. Hanus，米迦勒：功能逻辑程序设计：从理论到咖喱（2013）
8. Olarte，卡洛斯；鲁埃达，CAMILO；瓦伦西亚，Frank D.：并发约束编程的模型和发展趋势（2013）
9. 施里夫斯，汤姆；塔克，圭多；Pieter，Samulowitz，霍斯特；Stuckey，Peter J.：搜索组合器（2013）
10. Gorlin，安德烈；RAMACRISHHANN，C. R.；Smolka，Scott A.：概率表逻辑规划模型检验（2012）
11. Lopes，李嘉图；Costa，Vior Stotos；席尔瓦，费尔南多：扩展的安道尔模型的设计与实现（2012）
12. Hosobe，Hiroshi；Satoh，肯；马，Jiefei；俄罗斯人，Alessandra；布罗达，Krysia：分层代理的投机约束处理（2010）
13. Prige，丹尼尔；Leuschel，米迦勒：一次七：在B、Z、CSP和更多（2010）中对高级规范的LTL模型检查伊波尔特
14. Schlich，巴斯琴；Kowalewski，斯特凡：嵌入式系统C源代码模型检查（2009）伊波尔特
15. 巴斯米，Maria Grazia；蒙塔纳里，乌戈：基于约束的程序设计范式综述（2008）
16. Leuschel，米迦勒；巴特勒，米迦勒：PROB：B方法的自动化分析工具集（2008）伊波尔特
17. 小曼奇尼，托妮；Maalelto，Davide；Patrizi，法比奥；卡多利，马珂：CSPIB（2008）上的ASP和商业求解器的评价
18. BRA，贝尔恩德：解释函数逻辑计算痕迹的框架（2007）
19. L·Pez Fracuas，Francisco J.；Rodr Guez Atalejo，马里奥；Del-VADO-ViReSdDA，拉斐尔：一个新的具有约束的函数逻辑程序的通用方案（2007）
20. 聂赫伦，约阿希姆；Sabel，戴维；Schmidt Schau，曼弗雷德；施温哈默，简：参考细胞和期货并发LAMBDA演算的观测语义学（2007）