迪帕克·卡普尔;罗伯特·纽文胡斯;安德烈·沃伦科夫;克里斯托夫·韦登巴赫;Reinhard威廉 Harald Ganzinger的遗产：对逻辑和编程的贡献。 （英语） Zbl 1383.68003号 沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797，1-18（2013）。MSC公司：2003年8月 01A70型 03B70号 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}等人，Lect。注释计算。科学。7797，1-18（2013；Zbl 1383.68003） 全文： 内政部
吉勒姆·戈多伊;罗伯特·纽文胡斯 与完全内置阿贝尔群的叠加。 （英语） Zbl 1043.03011号 J.塞姆。计算。 37，第1期，1-33页（2004年）.MSC公司：03B35型 68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Godoy}和\textit{R.Nieuwenhuis}，J.Symb。计算。37，第1号，1-33（2004；Zbl 1043.03011） 全文： 内政部
罗伯特·纽文胡斯;阿尔伯特·鲁比奥 带约束的AC叠加：不需要AC生成器。 （英语） Zbl 1433.68559号 阿兰·邦迪（编辑），《自动扣除——CADE-12》。第十二届国际会议，法国南希，1994年6月26日至7月1日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。814, 545-559 (1994).MSC公司：68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Nieuwenhuis}和\textit{A.Rubio}，莱克特。注释计算。科学。814545-559（1994年；Zbl 1433.68559） 全文： 内政部