@第{zbMATH06814742条，作者＝｛Nishida，Naoki和Palacios，Adri和Vidal，Germ｛’an｝，标题={项重写中的可逆计算}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积={94}，页码={128--149}，年份={2018年}，语言={英语}，DOI={10.1016/j.jlamp.2017.10.003}，关键词={68Q42,68N30,68Q05}，URL={hdl.handle.net/10251/121738}，zbMATH={6814742}，Zbl={1381.68107}}