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

1. Hanus，Michael:函数逻辑编程：从理论到Curry（2013）
2. alpunte，M.；Ballis，D.；Correa，F.；Falaschi，M.：基于规则程序诊断和纠正的集成框架（2010）
3. 安托伊，塞吉奥：编程与缩小：教程（2010）
4. Ramos，J.Guadalupe；Silva，Josep；Vidal，Germanán:确保所需收缩计算的准终止（2007）
5. Simon，Luke；Bansal，Ajay；Mallya，Ajay；Gupta，Gopal:协同逻辑编程：用coinduction扩展逻辑编程（2007）
6. 阿尔伯特，埃尔维拉；哈纳斯，迈克尔；哈奇，弗兰克；奥利弗，哈维尔；维达尔，格曼：声明性多范式语言的操作语义（2005）
7. 安托伊，塞吉奥：函数逻辑程序设计的评价策略（2005）
8. 埃斯科巴，圣地亚哥；梅斯盖尔，何塞；塔蒂，普拉桑纳：一般术语重写系统的自然缩小（2005）
9. Peltier，Nicolas:具有非确定性惰性函数和内置谓词的函数一阶逻辑程序的证明过程（2004）
10. 维达尔，格曼：功能逻辑程序的成本增加部分评估（2004）
11. Albert，Elvira；Vidal，Germanán:函数逻辑程序专业化的缩小驱动方法（2002）
12. alpunte，María；Correa，Franciso；Falaschi，Moreno：功能逻辑程序的调试方案（2002）
13. Antoy，Sergio；Iranzo，Pascual Julián；Massey，Bart:提高非确定性计算的效率（2002）
14. 拉斐尔·卡巴列罗；罗德里格斯·阿塔列霍，马里奥：一个惰性函数逻辑程序的声明性调试系统（2002）
15. Albert，Elvira:多范式声明性语言的部分评估：基础、控制、算法和效率（2001）
16. Albert，Elvira；Antoy，Sergio；Vidal，Germanán:测量函数逻辑语言中部分求值的有效性（2001）
17. Almendros Jiménez，Jesús M.；Becerra Terón，Antonio:功能逻辑程序的目标导向自下而上评估框架（2001）
18. alpunte，M.；Correa，F.J.；Falaschi，M.：功能逻辑程序的声明性调试（2001）
19. Arenas-Sánchez，Puri；Rodríguez Artalejo，Mario:lazy functional logic programming with代数多态类型的一般框架（2001）
20. Bueno，Francisco；García de la Banda，María；Hermenegildo，Manuel；万豪，Kim；Puebla，Germanán；Stuckey，Peter J.：模块间分析和优化编译模型（2001）