弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;鲁宾·鲁比奥;卡罗琳·塔尔科特 Maude 3.2（系统描述）中的等式统一和匹配以及符号可达性分析。 （英语） 兹伯利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） 全文： 内政部 OA许可证
弗朗西斯科·杜兰;何塞·梅塞盖尔 条件有序重写理论的Church-Rosser和相干性质。 （英语） Zbl 1272.03139号 J.日志。阿尔盖布。程序。 81，编号7-8，816-850（2012）.MSC公司：03B70号 68甲18 68甲19 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}和\textit{J.Meseguer}，J.Log。阿尔盖布。程序。81，编号7--8816--850（2012；Zbl 1272.03139） 全文： 内政部
弗朗西斯科·杜兰;萨尔瓦多卢卡斯;何塞·梅塞盖尔 方程理论的终止模组合。 （英语） Zbl 1193.68145号 Ghilardi，Silvio（编辑）等人，《联合系统的前沿》。第七届国际研讨会，FroCoS 2009，意大利特伦托，2009年9月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04221-8/pbk）。计算机科学讲义5749。人工智能课堂讲稿，246-262（2009）。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人，Lect。注释计算。科学。5749，246--262（2009；Zbl 1193.68145） 全文： 内政部 链接