斯特凡妮娅·科斯坦蒂尼;亚历山德罗·普罗维蒂 答案集编程的标准形式。 (英语) 兹比尔1085.68017 理论与实践。日志。程序。 5,第6号,747-760(2005).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Costantini}和\textit{A.Provetti},理论实践。日志。程序。5,第6号,747--760(2005;Zbl 1085.68017) 全文: DOI程序
吉安路易吉·格雷科;塞尔吉奥·格雷科;伊琳娜·特鲁比西纳;埃斯特·赞帕诺 带约束的界析取查询的优化。 (英语) Zbl 1085.68019号 理论与实践。日志。程序。 5,第6期,713-745(2005).MSC公司:68N17号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{G.Greco}等人,《理论与实践》。日志。程序。5,第6号,713--745(2005;Zbl 1085.68019) 全文: DOI程序
德拉本特,Włodzimierz;米洛斯·阿瓦·科夫斯卡 证明正常程序的正确性和完整性——一种声明性方法。 (英语) Zbl 1083.68018号 理论与实践。日志。程序。 5,第6号,669-711(2005).MSC公司:第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{W.Drabent}和\textit{M.Miłkowska},理论与实践。日志。程序。5,第6号,669--711(2005;Zbl 1083.68018) 全文: DOI程序
玛丽亚·班达火车站;沃里克·哈维;金·万豪酒店;彼得·斯图基(Peter J.Stuckey)。;巴特·德梅恩 检查HAL程序的模式。 (英语) Zbl 1083.68019号 理论与实践。日志。程序。 5,第6号,623-667(2005).MSC公司:68N17号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.García de la Banda}等人,《理论与实践》。日志。程序。5,第6号,623--667(2005;Zbl 1083.68019) 全文: DOI程序