Farmer，William 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） 全文： 内政部
Farmer，William M。 统一不可判定的简单二阶语言。 （英语） Zbl 0731.03005号 西奥。计算。科学。 87，第1号，25-41（1991）。 审核人：G.Mints（斯坦福） MSC公司：03B15号机组 第68页第15页 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \文本{W.M.Farmer}，Theor。计算。科学。87，编号1，25--41（1991；Zbl 0731.03005） 全文： 内政部
纳鸿·德肖维茨;圣埃芬·卡普兰;David A.Plaisted。 重写，重写，重写…。 （英语） 兹伯利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） 全文： 内政部
Samuel R.巴斯。 可证明性的不可判定性。 （英语） Zbl 0749.03039号 Ann.纯粹应用。逻辑 53，第1期，75-102（1991）。 审核人：M.Yasuhara（普林斯顿） MSC公司：20层03 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Buss}，Ann.纯粹应用。逻辑53，No.1，75--102（1991；Zbl 0749.03039） 全文： 内政部
Farmer，William M。 研究\（k）-可证明性问题的一种统一理论方法。 （英语） Zbl 0735.03001号 Ann.纯粹应用。逻辑 51，第3期，173-214（1991）。 审核人：N.Zamov（喀山） MSC公司：03B25号 20层03 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer}，Ann.纯苹果。逻辑51，No.3，173--214（1991；Zbl 0735.03001） 全文： 内政部