玛丽亚·保拉（Maria Paola Bonacina） 支持集、解调、副调制：历史观点。 （英语） Zbl 1511.68305号 J.汽车。推理 66，第4期，463-497（2022）.MSC公司：68伏15 2003年8月 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}，J.Autom。推理66，No.4，463--497（2022；Zbl 1511.68305） 全文： 内政部 OA许可证
迈克尔·比森;玛丽亚·保拉（Maria Paola Bonacina）;迈克尔·基扬;杰夫·萨特克利夫 拉里·沃斯：自动化推理的愿景。 （英语） Zbl 1511.68005号 J.汽车。推理 66，第4期，439-461（2022）.MSC公司：2003年8月 01A70型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Beeson}等人，J.Autom。推理66，No.4，439--461（2022；Zbl 1511.68005） 全文： 内政部
玛丽亚·保拉（Maria Paola Bonacina）;David A.Plaisted。 语义引导的目标敏感推理：模型表示。 （英语） Zbl 1356.68180号 J.汽车。推理 56，第2期，113-141（2016）.MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{D.A.Plaisted}，J.Autom。推理56，No.2，113--141（2016；Zbl 1356.68180） 全文： 内政部
玛丽亚·保拉（Maria Paola Bonacina）;乌尔里希·富巴赫;Sofronie Stokkermans，维奥利卡 基于一阶模型的推理。 （英语） 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）;Jieh乡 建立作为半决策程序的完成程序基础。 （英语） Zbl 0873.68107号 西奥。计算。科学。 146，第1-2期，199-242（1995）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{J.Xiang}，Theor。计算。科学。146，编号1--2，199--242（1995；Zbl 0873.68107） 全文： 内政部
玛丽亚·保拉（Maria Paola Bonacina）;Jieh乡 作为半决策程序的完成程序。 （英语） Zbl 1508.03039号 Kaplan，Stéphane（编辑）等，条件重写和类型重写系统。第二届国际CTRS研讨会，加拿大蒙特利尔，1990年6月11-14日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。516, 206-232 (1991).MSC公司：03B35型 2012年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{J.Xiang}，Lect。注释计算。科学。516206-232（1991年；Zbl 1508.03039） 全文： 内政部