@第{zbMATH07531446条，作者={张、淑君和西田直树}，Title＝{将正交归纳定义集转换为融合术语重写系统}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积={127}，页码={17}，注={Id/编号100779}，年份={2022}，语言={英语}，DOI={10.1016/j.jlamp.2022.100779}，关键词={68-XX}，zbMATH={7531446}}