zbMATH中的参考文献（参考文献28条)

1. Hanus，Michael:函数逻辑编程：从理论到Curry（2013）
2. 阿尔普特，M。；巴利斯，D。；科雷亚，F。；Falaschi，M.：基于规则的程序诊断和纠正的集成框架（2010）
3. 安托伊，塞吉奥：编程与缩小：教程（2010）
4. 拉莫斯，J.瓜达卢佩；席尔瓦，约瑟普；Vidal，Germanán:确保所需收缩计算的准终止（2007）
5. 西蒙，卢克；班萨尔，阿杰；马莉亚，阿杰；古普塔，戈帕尔：协同逻辑编程：用共同归纳法扩展逻辑编程（2007）
6. 艾伯特，艾薇拉；哈纳斯，迈克尔；哈奇，弗兰克；奥利弗，哈维尔；维达尔，格曼：声明性多范式语言的操作语义（2005）
7. 函数逻辑评价（2005）
8. 圣地亚哥埃斯科巴；梅斯盖尔，何塞；Thati，Prasanna:一般术语重写系统的自然缩小（2005）
9. Peltier，Nicolas:具有非确定性惰性函数和内置谓词的函数一阶逻辑程序的证明过程（2004）
10. 维达尔，格曼：功能逻辑程序的成本增加部分评估（2004）
11. 艾伯特，艾薇拉；维达尔，格曼：函数逻辑程序专业化的狭义驱动方法（2002）
12. 阿普特，玛里亚；科雷亚，弗朗西索；Falaschi，Moreno:功能逻辑程序的调试方案（2002）
13. 安托伊，塞尔吉奥；伊兰佐，帕斯夸尔·朱利安；Massey，Bart:提高非确定性计算的效率（2002）
14. 卡巴莱罗，拉斐尔；Rodríguez Artalejo，Mario:LazFunctional logic programs的声明性调试系统（2002）
15. Albert，Elvira:多范式声明性语言的部分评估：基础、控制、算法和效率（2001）
16. 艾伯特，艾薇拉；安托伊，塞尔吉奥；维达尔，格曼：《功能逻辑语言中部分评价的有效性测量》（2001）
17. 阿尔门德罗斯·吉姆内斯，杰斯·M。；安东尼奥·贝塞拉·特龙：功能逻辑程序的目标导向自下而上评价框架（2001）
18. 阿尔普特，M。；科雷亚，F.J。；Falaschi，M.：功能逻辑程序的声明性调试（2001）
19. 阿里纳斯-桑切斯，普里；Rodríguez Artalejo，Mario:代数多态类型懒惰函数逻辑编程的一般框架（2001）
20. 旧金山布埃诺；加西亚·德拉班达，马里亚；赫密尼基尔多，曼努埃尔；万豪，金；普埃布拉，格尔曼；Stuckey，Peter J.：模块间分析和优化编译模型（2001）