Hintermeier，克劳斯;克洛德·基什内尔;赫莱内·基什内尔 有序等式表示的动态类型计算。 （英语） Zbl 0983.68254号 J.塞姆。计算。 25，第4期，455-526（1998）.MSC公司：68号30 03B70号 2012年第68季度 68问题55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{C.Hintermeier}等人，J.Symb。计算。25，第4号，455--526（1998；Zbl 0983.68254） 全文： 内政部 链接
赫莱内·基什内尔（编辑） 第21届代数和编程树学术讨论会，CAAP’96。1996年4月22日至26日，瑞典林雪平。 （英语） Zbl 0895.00061号 西奥。计算。科学。190，第1期，112页（1998年）。 MSC公司：00B25型 68-06 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式
Hintermeier，克劳斯;赫莱内·基什内尔;彼得·莫塞斯（Peter D.Mosses）。 \（R^n）和（G^n）逻辑。 （英语） 兹伯利1434.03083 Dowek，Gilles（编辑）等人，《高阶代数、逻辑和术语重写》。第二次国际研讨会，1995年9月21日至22日，德国帕德博恩，HOA'95。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1074, 90-108 (1996).MSC公司：03B70号 03B16号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Hintermeier}等人，Lect。注释计算。科学。1074、90-108（1996年；Zbl 1434.03083） 全文： 内政部
赫莱内·基什内尔（编辑）;沃尔夫冈·韦克勒（编辑） 代数和逻辑编程。第二届国际会议，1990年10月1日至3日，法国南希。诉讼程序。 （英语） Zbl 0763.68011号 计算机科学课堂讲稿. 463. 柏林等：Springer-Verlag。VII、 386页（1990年）。 审核人：米歇尔·伊坦（斯特拉斯堡） MSC公司：68-06 68N17号 2012年第68季度 08A70型 18A99型 68号01 PDF格式BibTeX公司 XML格式引用 \textit{H.Kirchner}（编辑）和textit{W.Wechler}（主编），代数和逻辑编程。第二届国际会议，1990年10月1日至3日，法国南希。诉讼程序。柏林等：Springer-Verlag（1990；Zbl 0763.68011） 全文： 内政部