阿尔特·米德尔多普;伯恩哈德·格拉姆利希 简单的终止是困难的。 （英语） Zbl 0815.68064号 申请。代数工程通讯。计算。 第6期，第2期，第115-128页（1995年）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Middeldorp}和\textit{B.Gramlich}，应用。代数工程通讯。计算。6，编号2115-128（1995年；Zbl 0815.68064） 全文： 内政部
阿尔·米德尔多普;伯恩哈德·格拉姆利希 简单的终止是困难的。 （英语） Zbl 1503.68136号 克洛德·基什纳（编辑），《重写技术与应用》。1993年6月16日至18日，加拿大蒙特利尔，RTA-93第五届国际会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。690, 228-242 (1993).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Middeldorp}和\textit{B.Gramlich}，莱克特。注释计算。科学。690、228--242（1993年；Zbl 1503.68136） 全文： 内政部