@文章{zbMATH06915517，作者={Aguirre、Luis和Mart{'{i}}-奥列特、纳西索和帕洛米诺、米格尔和皮塔、伊莎贝尔}，Title={重写逻辑中的句子规范化条件收缩模和{Maude}}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={60}，数字={4}，页码={421--463}，年份={2018年}，语言={英语}，DOI={10.1007/s10817-017-9417-5}，关键词={68Q42,03B70}，zbMATH={6915517}，Zbl={1398.68267}}