埃马努埃莱·德安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫（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许可证
索菲·福茨;弗雷德·梅斯纳德;艾蒂安·佩耶特;吉尔斯·佩鲁因;范霍夫，维姆;德国维达尔 一种基于SMT的逻辑程序通用测试工具。 （英语） Zbl 07368093号 Nakano，Keisuke（编辑）等人，《功能和逻辑编程》。第十五届国际研讨会，FLOPS 2020，日本秋田，2020年9月14-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12073, 215-219 (2020).MSC公司：68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Fortz}等人，Lect。注释计算。科学。12073、215--219（2020；Zbl 07368093） 全文： 内政部 arXiv公司