杰罗恩·凯特玛;雅各布·格鲁·西蒙森 无限组合约简系统。 （英文） Zbl 1235.68095号 Inf.计算。 209，第6期，893-926（2011）.MSC公司：2012年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Ketema}和\textit{J.G.Simonsen}，Inf.Comput。209，第6号，893--926（2011；Zbl 1235.68095） 全文： 内政部
安德烈亚·科拉迪尼;法比奥·加杜奇 类术语结构的分类重写。 （英文） Zbl 1263.68070号 Bauderon，Michel（编辑）等人，GETGRATS图形转换系统闭幕研讨会，法国波尔多，2001年6月22日至23日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记51，108-121（2002）。MSC公司：2012年第68季度 18立方厘米 18D05日 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}和\textit{F.Gadducci}，电子。注释Theor。计算。科学。51、108-121（2002年；Zbl 1263.68070） 全文： 内政部
安德烈亚·科拉迪尼;法比奥·加杜奇 循环结构的重写：操作描述和范畴描述之间的等价性。 （英文） Zbl 0940.18002号 西奥。通知。应用。 33，No.4-5，467-493（1999）.MSC公司：18立方厘米 2012年第68季度 18D05日 18日第10天 2010年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}和\textit{F.Gadducci}，Theor。通知。申请。33，编号4--5，467--493（1999；Zbl 0940.18002） 全文： 内政部 欧洲DML 链接
泽纳·M·阿里奥拉。;扬·威廉·克鲁普 带有显式递归的Lambda演算。 （英文） Zbl 0892.68015号 Inf.计算。 139，第2期，154-233（1997）.MSC公司：68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{Z.M.Ariola}和\textit{J.W.Klop}，Inf.Comput。139，第2号，154--233（1997；Zbl 0892.68015） 全文： 内政部 链接
巴纳赫，R。 传递项图重写。 （英文） Zbl 0875.68580号 信息处理。莱特。 60，第3期，109-114（1996）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}，Inf.过程。莱特。60，第3号，109--114（1996；Zbl 0875.68580） 全文： 内政部
泽纳·M·阿里奥拉。 通过Böhm模型重写关联图和术语。 （英文） Zbl 0855.68049号 申请。代数工程通讯。计算。 7，第5期，401-426（1996）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.M.Ariola}，应用。代数工程通讯。计算。7，第5号，401-426（1996；Zbl 0855.68049） 全文： 内政部
栗原、Masahito;阿祖玛·大内 非复制项重写中的模块性。 （英文） Zbl 0872.68075号 西奥。计算。科学。 152，第1期，139-169（1995）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kurihara}和\textit{A.Ohuchi}，Theor。计算。科学。152，编号1，139--169（1995；Zbl 0872.68075） 全文： 内政部
垂直，Detlef 术语图重写中的关键对。 （英文） Zbl 1493.68177号 Privara，Igor（编辑）等人，《1994年计算机科学的数学基础》。1994年8月22日至26日，斯洛伐克科希策，第19届国际研讨会，MFCS’94。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。841, 556-566 (1994).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Plump}，莱克特。注释计算。科学。841556--566（1994年；Zbl 1493.68177） 全文： 内政部 链接
巴纳赫，R。 使用运算重写术语图和垃圾收集。 （英文） 兹伯利0817.18006 西奥。计算。科学。 131，第1号，29-94（1994）. 审核人：C.B.Jay（悉尼） MSC公司：18立方厘米 68问题55 2012年第68季度 18A30型 PDF格式BibTeX公司 XML格式引用 \文本{R.Banach}，Theor。计算。科学。131，编号1，29--94（1994；Zbl 0817.18006） 全文： 内政部
泽纳·M·阿里奥拉。 通过Böhm模型重写关联图和术语。 （英文） 兹比尔1511.68131 克洛德·基什纳（编辑），《重写技术与应用》。1993年6月16日至18日，加拿大蒙特利尔，RTA-93第五届国际会议。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。690, 183-197 (1993).MSC公司：2012年第68季度 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{Z.M.Ariola}，莱克特。注释计算。科学。690183-197（1993年；Zbl 1511.68131） 全文： 内政部
法默，威廉·M。;罗纳德·瓦特罗（Ronald J.Watro）。 术语图重写中的Redex捕获（简明版）。 （英文） Zbl 1503.68104号 罗纳德·V·书（编辑），重写技术与应用。第四届国际会议，RTA-91，意大利科摩，1991年4月10-12日。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。488, 13-24 (1991).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer}和\textit{R.J.Watro}，莱克特。注释计算。科学。488、13-24（1991年；Zbl 1503.68104） 全文： 内政部
J.R.肯纳韦。;Klop，J.W。;睡眠，M.R。;德弗里斯，F.J。 正交项重写系统中的超有限约简（扩展抽象）。 （英文） Zbl 1502.68151号 罗纳德·V·书（编辑），重写技术与应用。第四届国际会议，RTA-91，意大利科摩，1991年4月10-12日。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。488，1-12（1991）中描述。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Kennaway}等人，莱克特。注释计算。科学。488，1-12（1991年；Zbl 1502.68151） 全文： 内政部
纳鸿·德肖维茨;圣埃芬·卡普兰;David A.Plaisted。 重写，重写，重写，重写，重写，重写…。 （英文） Zbl 0759.68044号 西奥。计算。科学。 83，第1期，71-96（1991）. 审核人：C.Masalagiu（伊阿什） MSC公司：2012年第68季度 68问题55 2015年1月3日 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}等人，Theor。计算。科学。83，编号1，71--96（1991；Zbl 0759.68044） 全文： 内政部