玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜;巴利斯，德米斯 重写逻辑理论的符号专门化急板地. （英语） Zbl 1530.68130号 理论与实践。日志。程序。 第3期第22页，444-495页（2022）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，《理论与实践》。日志。程序。22，第3号，444--495（2022；Zbl 1530.68130） 全文： 内政部 arXiv公司
Alpunte，M。;D.巴利斯。;埃斯科瓦尔，S。;萨皮尼亚，J。 通过等式部分评估优化重写理论。 （英语） Zbl 1477.68136号 J.日志。阿尔盖布。方法计划。 124，文章ID 100729，29 p.（2022）.MSC公司：2012年第68季度 第68页第19页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，J.Log。阿尔盖布。方法计划。124，文章ID 100729，29 p.（2022；Zbl 1477.68136） 全文： 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;Julia萨皮娜;巴利斯，德米斯 与纳瓦尔对莫德理论的符号分析。 （英语） Zbl 1434.68214号 理论与实践。日志。程序。 19，编号5-6，874-890（2019）.MSC公司：2012年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，《理论与实践》。日志。程序。19，编号5--6，874--890（2019；Zbl 1434.68214） 全文： 内政部 arXiv公司
Alpunte，M。;弗雷奇纳，F。;萨皮尼亚，J。;D.巴利斯。 通过使用\（\mathsf{ABETS}\）切片进行基于断言的分析（系统描述）。 （英语） 兹比尔1379.68088 理论与实践。日志。程序。 16，编号5-6，515-532（2016）.MSC公司：68N20型 68N17号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，《理论与实践》。日志。程序。16、编号5--6、515--532（2016；Zbl 1379.68088） 全文： 内政部 arXiv公司
玛丽亚·阿尔普特;巴利斯，德米斯;弗朗西斯科·弗雷奇纳;朱莉娅·萨皮娜 通过运行时断言检查和跟踪切片调试Maude程序。 （英语） Zbl 1348.68027号 J.日志。阿尔盖布。方法计划。 85，第5号，第1部分，707-736（2016）.MSC公司：68N17号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，J.Log。阿尔盖布。方法计划。85，第5号，第1部分，707--736（2016；Zbl 1348.68027） 全文： 内政部
玛丽亚·阿尔普特;巴利斯，德米斯;弗朗西斯科·弗雷奇纳;朱莉娅·萨皮娜 结合运行时检查和切片来改进Maude错误诊断。 （英语） Zbl 1321.68325号 Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲义9200，72-96（2015）。MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，Lect。注释计算。科学。9200、72-96（2015年；Zbl 1321.68325） 全文： 内政部 链接
Alpunte，M。;D.巴利斯。;弗雷奇纳，F。;萨皮尼亚，J。 探索条件重写逻辑计算。 （英语） Zbl 1315.68166号 J.塞姆。计算。 69, 3-39 (2015).MSC公司：2012年第68季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，J.Symb。计算。69、3--39（2015年；Zbl 1315.68166） 全文： 内政部
玛丽亚·阿尔普特;巴利斯，德米斯;莫雷诺，法拉斯基;弗朗西斯科·弗雷奇纳;丹尼尔·罗梅罗 基于重写的XML存储库修复策略。 （英语） Zbl 1283.68130号 J.日志。阿尔盖布。程序。 82，第8期，326-352（2013）.MSC公司：68第05页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，J.Log。阿尔盖布。程序。82，编号8，326——352（2013年；兹bl 1283.68130） 全文： 内政部 链接
玛丽亚·阿尔普特;巴利斯，德米斯;哈维尔·埃斯佩特;丹尼尔·罗梅罗 用于重写逻辑理论的向后跟踪切片。 （英语） Zbl 1341.68026号 Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。人工智能课堂讲稿，34-48（2011）。MSC公司：68号30 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，Lect。注释计算。科学。6803，34-48（2011；Zbl 1341.68026） 全文： 内政部
Alpunte，M。;D.巴利斯。;科雷亚，F。;M.法拉斯基。 用于诊断和纠正基于规则的程序的集成框架。 （英语） Zbl 1205.68113号 西奥。计算。科学。 411，第47号，4055-4101（2010）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \文本{M.Alpuente}等人，Theor。计算。科学。411，第47号，4055--4101（2010；Zbl 1205.68113） 全文： 内政部