伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫（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许可证
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿德里安·帕拉西奥斯;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 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 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）