zbMATH参考文献（参考 113篇文章 引用）

1. Ngumbang Fadja，Arnaud；Riguzzi，Fabrizio:提升概率逻辑程序的区分学习（2019）
2. Beyer，Dirk；Gulwani，Sumit；Schmidt，David A.：结合模型检查和数据流分析（2018）
3. Van Cauwelaert，Sascha；Lombardi，Michele；Schaus，Pierre：全球约束在实践中的效率如何？公平实验框架（2018）
4. Michel，L.；Van Hentenryck，P.：约束编程的微内核架构（2017）
5. Riguzzi，Fabrizio:带函数符号的正态程序的分布语义（2016）
6. Iser，Markus；Manthey，Norbert；Sinz，Carsten:CNF公式中嵌套门的识别（2015）
7. Hanus，Michael:函数逻辑编程：从理论到Curry（2013）
8. Carlos Olate；Rueda，Camilo；Valencia，Frank D.：并发约束编程的模型和新兴趋势（2013）
9. 彼得·霍尔茨（Peter Wucket，2013年；彼得·霍尔塔克（Peter Wucket）搜索；彼得·霍尔塔克出版社（Combinator Stukey，2013年；彼得·施图尔茨（Peter Stukey，Stujquers；2013年）
10. Gorlin，Andrey；Ramakrishnan，C.R.；Smolka，Scott A.：概率表逻辑编程的模型检验（2012）
11. 洛佩斯，里卡多；科斯塔，维托尔桑托斯；席尔瓦，费尔南多：扩展安道尔模式的设计与实施（2012）
12. Hosobe，Hiroshi；Satoh，Ken；Ma，Jiefei；Russo，Alessandra；Broda，Krysia:层次代理的推测约束处理（2010）
13. Daniel Plagge；Leuschel，Michael:Seven at one stroke:LTL模型检查B、Z、CSP等的高级规范（2010）ioport公司
14. Schlich，Bastian；Kowalewski，Stefan:嵌入式系统的模型检查C源代码（2009）ioport公司
15. Bussemi，Maria Grazia；Montanari，Ugo:基于约束的编程范式调查（2008）
16. Leuschel，Michael；Butler，Michael:Prob:B方法的自动分析工具集（2008）ioport公司
17. 曼奇尼，托尼；米卡莱托，戴维德；帕特里齐，法比奥；卡多利，马可：在CSPLib上评估ASP和商业解决方案（2008）
18. Braßel，Bernd:解释函数逻辑计算轨迹的框架（2007）
19. López Fraguas，Francisco J.；Rodríguez Artalejo，Mario；del Vado Vírseda，Rafael:带约束的函数逻辑程序设计的一种新的通用方案（2007）
20. Niehren，Joachim；Sabel，David；Schmidt Schauß，Manfred；Schwinghammer，Jan:带有参考单元和未来的并发lambda演算的观察语义（2007）