纳鸿·德肖维茨;美国雷迪。 方程式程序的演绎和归纳综合。 （英文） Zbl 0791.68106号 J.塞姆。计算。 15，第5-6号，467-494（1993）.MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{U.S.Reddy}，J.Symb。计算。15，编号5--6，467--494（1993；Zbl 0791.68106） 全文： 内政部
纳鸿·德肖维茨 Horn子句的最大字面单位策略。 （英文） Zbl 1507.68337号 Kaplan，Stéphane（编辑）等，条件重写和类型重写系统。第二届国际CTRS研讨会，加拿大蒙特利尔，1990年6月11-14日。诉讼程序。柏林等：Springer-Verlag。勒克特。注释计算。科学。516, 14-25 (1991).MSC公司：68伏15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}，莱克特。注释计算。科学。516、14-25（1991年；Zbl 1507.68337） 全文： 内政部
纳鸿·德肖维茨;Jean-Pierre Jouannaud;扬·威廉·克鲁普 重写中的开放问题。 （英文） Zbl 1503.68100号 罗纳德·V·书（编辑），重写技术与应用。第四届国际会议，RTA-91，意大利科摩，1991年4月10-12日。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。488, 445-456 (1991).MSC公司：2012年第68季度 03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}等人，Lect。注释计算。科学。488445--456（1991年；Zbl 1503.68100） 全文： 内政部
利奥·巴赫迈尔;纳鸿·德肖维茨 重写模同余的完成。 （英文） Zbl 0686.68021号 西奥。计算。科学。 67，编号2-3173-201（1989）.MSC公司：68瓦30 68吨15 08B05号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{L.Bachmair}和\textit{N.Dershowitz}，Theor。计算。科学。67，No.2--3，173--201（1989；Zbl 0686.68021） 全文： 内政部
纳鸿·德肖维茨 终止重写。 （英文） Zbl 0637.68035号 J.塞姆。计算。 3, 69-115 (1987).MSC公司：68问题65 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}，J.Symb。计算。3、69-115（1987年；Zbl 0637.68035） 全文： 内政部