路易斯·阿吉雷;马丁·奥列特，纳西索;米盖尔·帕洛米诺;伊莎贝尔·皮塔 重写逻辑和Maude中的句子规范化条件收缩模。 （英语） Zbl 1398.68267号 J.汽车。推理 60，编号4，421-463（2018）.MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aguirre}等人，J.Autom。推理60，No.4，421--463（2018；Zbl 1398.68267） 全文： 内政部
路易斯·阿吉雷;马丁·奥列特，纳西索;米盖尔·帕洛米诺;伊莎贝尔·皮塔 重写逻辑和Maude中的句子规范化条件收缩模。 （英语） Zbl 1321.68324号 Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲义9200，48-71（2015）。MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aguirre}等人，Lect。注释计算。科学。9200，48-71（2015；Zbl 1321.68324） 全文： 内政部