埃马努埃莱·德安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫（John P.Gallagher）。;曼努埃尔五世（Manuel V.Hermenegildo）。;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 用于程序验证的约束Horn子句的分析和转换。 （英语） Zbl 07776353号 理论与实践。日志。程序。 22，第6期，974-1042（2022）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人，理论与实践。日志。程序。22，第6号，974--1042（2022；Zbl 07776353） 全文： 内政部 arXiv公司 OA许可证
温·范霍夫;贡萨古·耶尔瑙斯 CLP中基于归纳的语义克隆检测。 （英语） Zbl 1502.68074号 Gabbrielli，Maurizio（编辑），基于逻辑的程序合成和转换。2019年10月8日至10日，第29届国际研讨会，2019年LOPSTR，葡萄牙波尔图。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12042, 228-242 (2020).MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{W.Vanhoof}和\textit{G.Yernaux}，莱克特。注释计算。科学。12042、228--242（2020；Zbl 1502.68074） 全文： 内政部
约翰·加拉赫（John P.Gallagher）。;曼纽尔·赫尔梅内吉尔多;比肖克桑·卡夫;马克西米利亚诺·克莱门;佩德罗·洛佩斯·加西亚;何塞·莫拉莱斯 从大步骤到小步骤语义，再到解释器专业化。 （英语） Zbl 07453190号 Fribourg，Laurent（ed.）等人，第八届核查与程序转换国际研讨会和第七届霍恩条款核查与合成研讨会会议记录，VPT/HCVS 2020，爱尔兰都柏林，2020年4月25日至26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）320，50-64（2020）。MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛J.P.Gallagher｝等人，电子。程序。西奥。计算。科学。（EPTCS）320、50--64（2020；Zbl 07453190） 全文： arXiv公司 链接
弗雷德·梅斯纳德;埃蒂安·佩耶特;德国维达尔 CLP中的酒精测试。 （英语） Zbl 1468.68055号 理论与实践。日志。程序。 20，第5号，671-686（2020）.MSC公司：68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Mesnard}等人，《理论与实践》。日志。程序。20，第5号，671--686（2020；Zbl 1468.68055） 全文： 内政部 arXiv公司
贡萨古·耶尔瑙斯;温·范霍夫 约束逻辑编程中的反统一。 （英语） Zbl 1434.68076号 理论与实践。日志。程序。 19，编号5-6，773-789（2019）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{G.Yernaux}和\textit{W.Vanhoof}，理论与实践。日志。程序。19，编号5--6，773--789（2019；Zbl 1434.68076） 全文： 内政部 arXiv公司
德国维达尔（编辑） 介绍用于验证的计算逻辑专题。 （英语） Zbl 1475.00076号 理论与实践。日志。程序。 18，第2期，122-125（2018）.MSC公司：00B15号机组 68-06 03B70号 68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Vidal}（编辑），理论与实践。日志。程序。18，编号2122--125（2018；兹bl 1475.00076） 全文： 内政部
格雷姆·恒河;豪尔赫·纳瓦斯（Jorge A.Navas）。;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯图基（Peter J.Stuckey）。 上下文无关语言的正则可分性的一个完整的精化过程。 （英语） Zbl 1338.68147号 西奥。计算。科学。 625, 1-24 (2016).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Gange}等人，Theor。计算。科学。625，1--24（2016；Zbl 1338.68147） 全文： 内政部 arXiv公司