曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。 有界高阶统一的判定性。 （英语） Zbl 1126.03017号 J.塞姆。计算。 40，第2期，905-954（2005）.MSC公司：03B25号 03B40型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{K.U.Schulz}，J.Symb。计算。40，第2号，905--954（2005；Zbl 1126.03017） 全文： 内政部 链接
曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。 有界高阶统一的可判定性。 （英语） Zbl 1021.03004号 朱利安·布拉德菲尔德（编辑），《计算机科学逻辑》。第16届国际研讨会，CSL 2002，EACSL第11届年会，苏格兰爱丁堡，英国，2002年9月22日至25日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2471, 522-536 (2002).MSC公司：03B40型 03B25号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{K.U.Schulz}，莱克特。注释计算。科学。2471522--536（2002年；Zbl 1021.03004） 全文： 链接
曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。 具有两个上下文变量的上下文方程的可解性是可判定的。 （英语） Zbl 1017.68165号 J.塞姆。计算。 33，第1期，77-122（2002）.MSC公司：68瓦30 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{K.U.Schulz}，J.Symb。计算。33，第1号，77-122（2002；Zbl 1017.68165） 全文： 内政部
曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。 具有两个上下文变量的上下文方程的可解性是可判定的。 （英语） Zbl 0941.68070号 Ganzinger，Harald（编辑），自动扣除-CADE-16。第十六届国际会议，意大利特伦托，1999年7月7日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1632, 67-81 (1999).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{K.U.Schulz}，莱克特。注释计算。科学。1632、67--81（1999年；Zbl 0941.68070）
曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。 关于上下文方程最小解的周期性指数。 （英语） Zbl 0901.03034号 Nipkow，Tobias（编辑），重写技术和应用。第九届国际会议，RTA-98，日本筑波，1998年3月30日至4月1日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1379, 61-75 (1998).MSC公司：2015年3月1日 2012年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{K.U.Schulz}，莱克特。注释计算。科学。1379，61-75（1998；Zbl 0901.03034）