安东尼奥·J·费尔南德斯。;Hortalá-González,特蕾莎;费尔南多·Sáenz-Pérez;拉斐尔·德尔瓦多·维塞达 有限域上的约束函数逻辑编程。 (英语) Zbl 1129.68020号 理论与实践。日志。程序。 7,第5期,537-582(2007).MSC公司:68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Fernández}等人,《理论与实践》。日志。程序。7,第5号,537--582(2007;Zbl 1129.68020) 全文: 内政部
路易斯·弗拉瓜,弗朗西斯科·J。;马里奥·罗德里格斯·阿塔列霍;拉斐尔·德尔瓦多·维塞达 一种新的带约束的函数逻辑程序设计通用方案。 (英语) Zbl 1115.68048号 高-订购符号。计算。 20,编号1-2,73-122(2007).MSC公司:68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.J.López Fraguas}等人,高-订购符号。计算。20,编号1--2,73-122(2007;Zbl 1115.68048) 全文: 内政部