菲利普·科纳;Michael Leuschel先生;乔昂·巴博萨;维托尔·桑托斯·科斯塔;维罗尼卡·达尔;曼努埃尔五世(Manuel V.Hermenegildo)。;何塞·莫拉莱斯(Jose F.Morales)。;Wielemaker,简;丹尼尔·迪亚兹;萨尔瓦多阿布雷乌;乔瓦尼·西亚托 五十年的序言及以后。 (英语) Zbl 07776350号 理论与实践。日志。程序。 22,第6号,776-858(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Körner}等人,《理论与实践》。日志。程序。22,编号6776-858(2022;兹bl 07776350) 全文: 内政部 arXiv公司 OA许可证
丹尼尔·卡贝扎;曼纽尔·赫尔梅内吉尔多 Ciao模块系统:Prolog的新模块系统。 (英语) Zbl 0958.68033号 Dutra,Inás(编辑)等人,(约束)逻辑编程的并行性和实现技术。与1999年12月1日在美国新墨西哥州拉斯克鲁塞斯举行的ICLP’99研讨会。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。30、3、21页,仅电子版(1999年)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.Cabeza}和\textit{M.Hermenegildo},in:(约束)逻辑编程的并行性和实现技术。与1999年12月1日在美国新墨西哥州拉斯克鲁塞斯举行的ICLP’99研讨会。阿姆斯特丹:爱思唯尔。21页(1999年;Zbl 0958.68033)