玛丽亚·保拉（Maria Paola Bonacina） 支持集、解调、副调制：历史观点。 （英语） Zbl 1511.68305号 J.汽车。推理 66，第4期，463-497（2022）.MSC公司：68伏15 68-03 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}，J.Autom。推理66，No.4，463--497（2022；Zbl 1511.68305） 全文： 内政部
西尔维奥·吉拉尔迪；亚历山德罗·吉亚诺拉；迪帕克·卡普尔 （mathcal{EUF}）中的统一插值：使用DAG表示的算法。 （英语） Zbl 07566058号 日志。方法计算。科学。 18，第2期，第2号论文，24页（2022年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}等人，日志。方法计算。科学。18，第2号，第2篇论文，24页（2022；Zbl 07566058） 全文： arXiv公司 链接
玛丽亚·保拉（Maria Paola Bonacina）；圣菲省格拉汉·伦格兰德；Natarajan Shankar 理论组合的冲突驱动可满足性：引理、模块和证明。 （英语） Zbl 07498608号 J.汽车。推理 66，编号1，43-91（2022）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}等人，J.Autom。推理66，No.1，43--91（2022；Zbl 07498608） 全文： 内政部
Christoph Wernhard公司 带子句一阶表的Craig插值。 （英语） Zbl 07432183号 J.汽车。推理 65，第5号，647-690（2021）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Wernhard}，J.Autom（汽车公司）。推理65，No.5，647--690（2021；Zbl 07432183） 全文： 内政部 arXiv公司
吉多·格拉迪；保罗·马菲齐奥利；奥兰德利，尤金尼奥 一阶逻辑扩展中的插值。 （英语） Zbl 1452.03128号 螺柱日志。 108，第3期，619-648（2020）. 审核人：马里奥·阿尔维亚诺（伦德） MSC公司：03财年03 03C40号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Gherardi}等人，研究日志。108，第3号，619--648（2020；Zbl 1452.03128） 全文： 内政部 arXiv公司
罗马库兹涅茨 多分量证明——证明插值特性的理论方法。 （英语） Zbl 1522.03053号 Ann.纯粹应用。逻辑 169，第12期，1369-1418（2018）.MSC公司：03B45号 03C40号 03财年03 07年3月 PDF格式BibTeX公司 XML格式引用 \textit｛R.Kuznets｝，Ann.纯应用。逻辑169，No.12，1369--1418（2018；Zbl 1522.03053） 全文： 内政部
玛丽亚·保拉（Maria Paola Bonacina）；乌尔里希·富巴赫；维奥里卡Sofrone-Stokkerman 基于一阶模型的推理。 （英语） Zbl 1322.03013号 Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学9200、181-204课堂讲稿（2015）。MSC公司：03B35型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}等人，Lect。注释计算。科学。9200、181--204（2015；Zbl 1322.03013） 全文： 内政部 arXiv公司
玛丽亚·保拉（Maria Paola Bonacina）；穆阿·约翰逊 自动定理证明中的插值。 （英语） Zbl 1315.03018号 J.汽车。推理 54，第1期，69-97（2015）.MSC公司：03B35型 68吨15 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{M.Johansson}，J.Autom。推理54，No.1，69--97（2015；Zbl 1315.03018） 全文： 内政部