伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫（John P.Gallagher）。;曼努埃尔·赫梅内吉尔多。;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 用于程序验证的约束Horn子句的分析和转换。 （英语） Zbl 07776353号 理论与实践。日志。程序。 22，第6期，974-1042（2022）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人，理论与实践。日志。程序。22，第6号，974--1042（2022；Zbl 07776353） 全文： DOI程序 arXiv公司 OA许可证
埃马努埃莱·德安吉利斯;法比奥·菲奥拉万蒂;阿德里安·帕拉西奥斯;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 Erlang程序运行时错误检测的有界符号执行。 （英语） Zbl 1525.68008号 Kahsai，Temesghen（ed.）等人，《验证和合成Horn条款第五次研讨会论文集》，HCVS 2018，英国牛津，2018年7月13日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）27819-26（2018）。MSC公司：68甲15 68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人，《电子》。程序。西奥。计算。科学。（EPTCS）278，19--26（2018；Zbl 1525.68008） 全文： arXiv公司 链接
阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 通过基础良好的注释完全正确地进行逻辑程序转换。 （英语） Zbl 1194.68095号 高-订购符号。计算。 21，编号1-2，193-234（2008）; 勘误表同上，第21号，第1-2、235页（2008年）。MSC公司：68N17号 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}和\textit{M.Proietti}，高-订购符号。计算。21，编号1--2，193-234（2008；Zbl 1194.68095） 全文： DOI程序 链接
阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;苏菲·雷诺 通过专门化和减少不确定性导出有效的逻辑程序。 （英语） Zbl 1103.68034号 高-订购符号。计算。 18，编号1-2，121-210（2005）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}等人，高-订购符号。计算。18，编号1--2，121-210（2005；Zbl 1103.68034） 全文： DOI程序
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 约束逻辑程序上下文专门化的规则和策略。 （英语） Zbl 0959.68019号 Michael Leuschel（编辑），WOID’99。关于声明性程序的优化和实施的研讨会。1999年12月2日至3日，美国新墨西哥州拉斯克鲁塞斯。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。30,2，16页，仅电子版（1999年）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人，in：WOID'99。关于声明性程序的优化和实施的研讨会。1999年12月2日至3日，美国新墨西哥州拉斯克鲁塞斯。阿姆斯特丹：爱思唯尔。16页（1999年；Zbl 0959.68019）