@第{zbMATH06474621条，作者={V{\'a}gv{\“o}lgyi，S{\'a}ndor}，标题＝{符号不同术语重写系统}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积={84}，数字={5}，页码={551--575}，年份={2015年}，语言={英语}，DOI={10.1016/j.jlamp.2015.06.005}，关键词={68Q42,03D40,68Q45}，zbMATH={6474621}，Zbl={1332.68105}}