萨尔瓦多卢卡斯 使用基础良好的关系证明操作终止。 (英语) Zbl 1468.03034号 J.汽车。推理 64,第2期,167-195(2020).MSC公司:03B70型 07年3月 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}、J.Autom。推理64,No.2,167--195(2020;Zbl 1468.03034) 全文: DOI程序 链接
路易斯·阿吉雷;马丁·奥列特,纳西索;米盖尔·帕洛米诺;伊莎贝尔·皮塔 重写逻辑和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) 全文: DOI程序