阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;戈帕尔·古普塔;曼努埃尔五世（Manuel V.Hermenegildo）。;恩里科·蓬泰利;里卡多·罗查 并行逻辑编程：续集。 （英语） Zbl 07776352号 理论实践。日志。程序。 22，第6期，905-973（2022）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Dovier｝等人，《理论与实践》。日志。程序。22，编号6，905——973（2022；Zbl 07776352） 全文： 内政部 arXiv公司
阿丽亚斯，华金;曼纽尔·卡罗 使用表格CLP*评估抽象解释算法的实现。 （英语） Zbl 1434.68069号 理论实践。日志。程序。 19，编号5-6，1107-1123（2019）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Arias}和\textit{M.Carro}，理论与实践。日志。程序。19、编号5--6、1107--1123（2019；Zbl 1434.68069） 全文： 内政部 arXiv公司
乌埃尔、古雷;大卫·托曼 基于自动机的决策过程的逻辑编程方法。 （英语） Zbl 1353.68039号 J.日志。阿尔盖布。方法计划。 86，第1号，391-407（2017）.MSC公司：68N17号 03B25号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Unel}和\textit{D.Toman}，J.Log。阿尔盖布。方法计划。86，第1号，391--407（2017；Zbl 1353.68039） 全文： 内政部
乌埃尔、古雷 一元二阶逻辑的增量推理与逻辑编程。 （英语） Zbl 1351.68056号 J.日志。阿尔盖布。方法计划。 85，第2号，316-331（2016）.MSC公司：68N17号 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Unel}，J.Log。阿尔盖布。方法计划。85，No.2，316--331（2016；Zbl 1351.68056） 全文： 内政部
郭海峰;戈帕尔·G·古普塔 确定逻辑程序备选方案的动态重新排序。 （英语） Zbl 1387.68058号 计算。语言系统。结构。 第3525-265号第35页（2009年）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{H.-F.H.-F.Guo}和\textit{G.G.Gupta}，计算。语言系统。结构。35，第3号，252--265（2009；Zbl 1387.68058） 全文： 内政部
鲁伊·马奎斯;Swift，Terrance公司 正常程序的并发和本地评估。 （英语） Zbl 1185.68170号 Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366206-222（2008）。MSC公司：68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Marques}和\textit{T.Swift}，Lect。注释计算。科学。5366、206-222（2008年；Zbl 1185.68170） 全文： 内政部
萨戈纳斯，K。;T·斯威夫特。;D.S.沃伦。 固定阶计算的极限。 （英语） Zbl 0974.68111号 西奥。计算。科学。 254，第1-2号，465-499（2001）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.Sagonas}等人，Theor。计算。科学。254，编号1--2，465--499（2001；Zbl 0974.68111） 全文： 内政部