弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;鲁宾·鲁比奥;卡罗琳·塔尔科特 Maude 3.2（系统描述）中的等式统一和匹配以及符号可达性分析。 （英语） Zbl 07628207号 Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 529-540 (2022).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人，Lect。注释计算。科学。13385、529--540（2022；Zbl 07628207） 全文： 内政部
萨尔瓦多卢卡斯 上下文敏感重写的应用和扩展。 （英语） Zbl 1518.68157号 J.日志。阿尔盖布。方法计划。 121，文章ID 100680，33 p.（2021）.MSC公司：2012年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}，J.Log。阿尔盖布。方法计划。121，文章ID 100680，第33页（2021；Zbl 1518.68157） 全文： 内政部 链接
劳尔·古铁雷斯;萨尔瓦多卢卡斯 自动证明和反驳可行性条件。 （英语） Zbl 07614688号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。2020年7月1日至4日，法国巴黎，第十届国际联合会议，IJCAR 2020。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12167, 416-435 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Gutiérrez}和\textit{S.Lucas}，莱克特。注释计算。科学。12167416--435（2020；Zbl 07614688） 全文： 内政部