玛丽亚·阿尔普特;巴利斯，德米斯;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;朱莉娅·萨皮娜 通过程序专业化优化Maude程序。 （英语） Zbl 1529.68130号 Lopez-Garcia，Pedro（编辑）等人，《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际，为他撰写的论文。查姆：斯普林格。勒克特。票据计算。科学。13160, 21-50 (2023).MSC公司：2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，Lect。票据计算。科学。13160，21-50（2023；Zbl 1529.68130） 全文： 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜;黛米斯·巴利斯 重写逻辑理论的符号专门化急板地. （英语） Zbl 1530.68130号 理论与实践。日志。程序。 22，第3期，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） 全文： 内政部 OA许可证
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） 全文： 内政部