安德烈亚斯·亚贝尔;纪尧姆·阿拉伊斯;Aliya Hameer;碧姬·品特卡;阿尔贝托·莫米利亚诺;史蒂文·施费尔;凯瑟琳·斯塔克 POPLMark重载：通过逻辑关系实现机械化证明。 （英语） Zbl 1442.68257号 J.功能。程序。 29，论文编号e19，43 p.（2019）.MSC公司：68伏15 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Abel}等人，J.Funct。程序。29，论文编号e19，43 p.（2019；Zbl 1442.68257） 全文： DOI程序
阿尔贝托·莫米利亚诺;碧姬·品特卡;大卫·希伯多 编程共推证明的案例研究：豪的方法。 （英语） 兹比尔1430.68418 数学。结构。计算。科学。 29，第8期，1309-1343（2019）.MSC公司：68伏15 68甲18 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Momigliano}等人，《数学》。结构。计算。科学。29，第8号，1309--1343（2019；Zbl 1430.68418） 全文： DOI程序
艾米·费尔蒂;阿尔贝托·莫米利亚诺;碧姬·品特卡 使用包含绑定和假设上下文的语法树进行推理的基准。 （英语） Zbl 1400.68194号 数学。结构。计算。科学。 28，第9期，1507-1540（2018）.MSC公司：68吨15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Felty}等人，数学。结构。计算。科学。28，第9号，1507--1540（2018；Zbl 1400.68194） 全文： DOI程序
艾米·费尔蒂（Amy P.Felty）。;阿尔贝托·莫米利亚诺;碧姬·品特卡 接下来的700个挑战性问题是使用高阶抽象语法表示进行推理。二： 调查。 （英语） Zbl 1357.68198号 J.汽车。推理 55，第4号，307-372（2015）.MSC公司：68吨15 68-02 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Felty}等人，J.Autom。推理55，No.4，307--372（2015；Zbl 1357.68198） 全文： DOI程序
阿尔贝托·莫米利亚诺（编辑）;碧姬·品特卡（编辑） 逻辑框架和元语言：理论与实践（LFMTP 2006）第一次国际研讨会会议记录，西雅图，华盛顿州，美国，2006年8月16日。 （英语） Zbl 1273.68041号 理论计算机科学电子笔记174，第5号。阿姆斯特丹：爱思唯尔。149页。，仅电子版（2007年）。MSC公司：68-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Momigliano}（编辑）和\textit{B.Pientka}（主编），逻辑框架和元语言：理论与实践第一次国际研讨会论文集（LFMTP 2006），西雅图，华盛顿州，美国，2006年8月16日。阿姆斯特丹：爱思唯尔（2007；Zbl 1273.68041） 全文： 链接