托马斯·普罗科什 分布式逻辑编程的低级索引。 （英语） Zbl 07455734号 Ricca，Francesco（ed.）等人，《第36届逻辑编程（技术通信）国际会议论文集》，ICLP 2020，UNICAL，Rende（CS），意大利，2020年9月18日至24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）325303-312（2020）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Prokosch}，电子。程序。西奥。计算。科学。（EPTCS）3253030--312（2020；Zbl 07455734） 全文： arXiv公司 链接
米盖尔·阿雷亚斯;里卡多·罗查 隐式和显式并发表计算的表空间设计。 （英语） Zbl 1452.68035号 理论与实践。日志。程序。 18，编号5-6，950-992（2018）.MSC公司：68N17号 68甲19 PDF格式BibTeX公司 XML格式引用 \textit｛M.Areias｝和\textit｛R.Rocha｝，理论实践。日志。程序。18、编号5--6950-992（2018；Zbl 1452.68035） 全文： 内政部 arXiv公司
大卫·沃伦。 自上而下和自下而上的评估程序整合。 （英语） Zbl 1452.68040号 理论与实践。日志。程序。 18，编号3-4，706-721（2018）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Warren}，理论与实践。日志。程序。18、编号3--4、706--721（2018；Zbl 1452.68040） 全文： 内政部 arXiv公司
法布里西奥·里古齐;Swift，Terrance公司 用有限三值模型终止逻辑程序的计算。 （英语） Zbl 1354.68039号 ACM事务处理。计算。日志。 第15号第4条第32条第38页（2014年）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Riguzzi}和\textit{T.Swift}，ACM Trans。计算。日志。15，第4号，第32条，第38页（2014；Zbl 1354.68039） 全文： 内政部
Swift，Terrance公司 支持知识表示和推理的增量表。 （英语） Zbl 1307.68023号 理论与实践。日志。程序。 14，No.4-5，553-567（2014）.MSC公司：68N17号 68立方英尺 第68页第35页 PDF格式BibTeX公司 XML格式引用 \textit{T.Swift}，理论与实践。日志。程序。14、编号4--5、553--567（2014；Zbl 1307.68023） 全文： 内政部 arXiv公司
曼塔代利斯（Mantadelis）、西奥弗拉斯托斯（Theofrastos）;里卡多·罗查;保罗·莫拉 制表，合理的术语，和最后一起创造！ （英语） Zbl 1307.68019号 理论与实践。日志。程序。 14，No.4-5，429-443（2014）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Mantadelis}等人，《理论与实践》。日志。程序。14、编号4--5、429--443（2014；Zbl 1307.68019） 全文： 内政部 arXiv公司
周能发;有，克里斯蒂安·泰尔 使用增强的哈希一致性高效地建立结构化数据表。 （英语） 兹比尔1260.68069 理论与实践。日志。程序。 12，编号4-5，547-563（2012）.MSC公司：68N17号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{N.-F.Zhou}和\textit{C.T.Have}，理论与实践。日志。程序。12、编号4--5、547--563（2012；Zbl 1260.68069） 全文： 内政部 arXiv公司
米盖尔·阿雷亚斯;里卡多·罗查 使用公共表空间实现多线程本地表编制。 （英语） Zbl 1260.68056号 理论与实践。日志。程序。 12，编号4-5，427-443（2012）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Areias}和\textit{R.Rocha}，理论与实践。日志。程序。12、编号4--5、427--443（2012；Zbl 1260.68056） 全文： 内政部 arXiv公司
周能发 B-Prolog的语言特性和体系结构。 （英语） Zbl 1244.68024号 理论与实践。日志。程序。 12，编号1-2，189-218（2012）.MSC公司：68N17号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{N.-F.Zhou}，理论与实践。日志。程序。12、编号1--2、189-218（2012；Zbl 1244.68024） 全文： 内政部
Swift，Terrance公司;大卫·沃伦。 XSB：用表格逻辑编程扩展Prolog。 （英语） Zbl 1244.68021号 理论与实践。日志。程序。 12，编号1-2157-187（2012）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Swift}和\textit{D.S.Warren}，理论与实践。日志。程序。12，编号1--2，157-187（2012；Zbl 1244.68021） 全文： 内政部 arXiv公司
维托尔·桑托斯·科斯塔;里卡多·罗查;达马斯，路易斯 YAP prolog系统。 （英语） Zbl 1244.68017号 理论与实践。日志。程序。 12、第1-2、5-34号（2012）.MSC公司：68N17号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{V.S.Costa}等人，《理论与实践》。日志。程序。12、编号1--2、5--34（2012；Zbl 1244.68017） 全文： 内政部
鲁伊·卡马乔;努诺·A·丰塞卡。;里卡多·罗查;维托尔·桑托斯·科斯塔 ILP：-试试看。 （英语） Zbl 1136.68355号 Blockeel，Hendrik（编辑）等人，《感应逻辑编程》。2007年6月19日至21日在美国俄勒冈州科瓦利斯举行的第17届国际劳工大会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-78468-5/pbk）。计算机科学课堂讲稿4894。人工智能课堂讲稿，78-87（2008）。MSC公司：68N17号 68T05年 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{R.Camacho}等人，Lect。注释计算。科学。4894，78-87（2008年；Zbl 1136.68355） 全文： 内政部 链接
萨戈纳斯，K。;T·斯威夫特。;D.S.沃伦。 固定阶计算的极限。 （英语） Zbl 0974.68111号 西奥。计算。科学。 254，第1-2号，465-499（2001）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \文本{K.Sagonas}等人，Theor。计算。科学。254，编号1--2，465--499（2001；Zbl 0974.68111） 全文： 内政部
崔宝秋;大卫·沃伦。 XSB中的属性变量。 （英语） Zbl 0958.68028号 Dutra，Inás（编辑）等人，（约束）逻辑编程的并行性和实现技术。与1999年12月1日在美国新墨西哥州拉斯克鲁塞斯举行的ICLP’99研讨会。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。30,314页，仅电子版（1999年）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{B.Cui}和\textit{D.S.Warren}，in：（约束）逻辑编程的并行性和实现技术。与1999年12月1日在美国新墨西哥州拉斯克鲁塞斯举行的ICLP’99研讨会。阿姆斯特丹：爱思唯尔。第14页（1999年；Zbl 0958.68028）