董金松;刘，杨;孙，六月;Zhang，西安 用于验证计算编排。 （英语） Zbl 1342.68209号 正式Asp。计算。 26，第4期，729-759（2014）.MSC公司：60年第68季度 68英里11 68N17号 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Dong}等人，《正式Asp》。计算。26，第4号，729--759（2014；Zbl 1342.68209） 全文： 内政部 链接
玛丽亚·加西亚·德·拉班达;沃里克·哈维;万豪酒店，Kim;彼得·斯图基（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） 全文： 内政部
德拉本特，Włodzimierz;马ł斯基，简;佩特扎克 CLP程序的基于类型的诊断。 （英语） 兹伯利0966.68054 Ducassé，Mireille（编辑）等人，WLPE’99。第十届逻辑编程环境研讨会，美国新墨西哥州拉斯克鲁斯，1999年11月29日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。30,4，20 p.，仅电子版（1999年）。MSC公司：68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{W.Drabent}等人，in:WLPE’99。第十届逻辑编程环境研讨会，美国新墨西哥州拉斯克鲁斯，1999年11月29日。阿姆斯特丹：爱思唯尔。20页（1999年；Zbl 0966.68054）
万豪酒店，Kim 具有动态调度的CLP语言的代数和逻辑语义。 （英语） Zbl 0882.68029号 J.日志。程序。 32，第1期，71-84（1997）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{K.Marriott}，J.Log。程序。32，编号1，71--84（1997；Zbl 0882.68029） 全文： 内政部
莫莉·威尔逊;艾伦·博宁 层次约束逻辑编程。 （英语） Zbl 0771.68038号 J.日志。程序。 16，第3-4、277-318号（1993年）.MSC公司：68N17号 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Wilson}和\textit{A.Borning}，J.Log。程序。16，编号3--4，277--318（1993；Zbl 0771.68038） 全文： 内政部
帕斯卡·范·亨特利克;赫尔穆特·西蒙尼斯;梅赫迈特·丁卡斯 使用约束逻辑编程实现约束满足。 （英语） Zbl 0782.68028号 Artif公司。智力。 58，编号1-3，113-159（1992）.MSC公司：68N17号 90C27型 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{P.Van Hentenryck}等人，Artif。智力。58，编号1--3113-159（1992；Zbl 0782.68028） 全文： 内政部
吉姆·考克斯;肯·麦卡龙;特雷科夫，卡罗尔 计算复杂性和约束逻辑编程语言。 （英语） Zbl 0866.68013号 安。数学。Artif公司。智力。 5，第2-4号，163-190（1992）.MSC公司：68甲15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Cox}等人，《数学年鉴》。Artif公司。智力。5，编号2--4163-190（1992；Zbl 0866.68013） 全文： 内政部
奇塔·巴拉尔;豪尔赫·洛博;杰克·明克尔 逻辑程序的广义析取良好语义。 （英语） Zbl 1034.68506号 安。数学。Artif公司。智力。 5，编号2-4，89-132（1992）.MSC公司：68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Baral}等人，《数学年鉴》。Artif公司。智力。5，编号2--4，89-132（1992；Zbl 1034.68506） 全文： 内政部