利奥·巴赫迈尔;哈拉尔德·甘辛格 传递关系一阶理论的有序链计算。 （英语） Zbl 1065.68615号 美国临床医学杂志 45，第6期，1007-1049（1998）.MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit｛L.Bachmair｝和\textit｛H.Ganzinger｝，J.ACM 45，编号6，1007–1049（1998年；Zbl 1065.68615） 全文： 内政部
利奥·巴赫迈尔;哈拉尔德·甘辛格 基于饱和定理证明中的等式推理。 （英语） 兹伯利0973.68215 Bibel，Wolfgang（编辑）等人，《自动扣除》。应用的基础。第1卷：基础、结石和方法。多德雷赫特：Kluwer学术出版社；0-7923-5132-0（套））。申请。日志。序列号。8, 353-397 (1998).MSC公司：68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bachmair}和\textit{H.Ganzinger}，应用。日志。序列号。8353-397（1998年；Zbl 0973.68215）
利奥·巴赫迈尔;哈拉尔德·甘辛格;安德烈·沃伦科夫 通过带排序约束的转换消除等式。 （英语） Zbl 0926.03006号 Kirchner，Claude（编辑）等人，《自动扣除-CADE-15》。第十五届国际会议，德国林道，1998年7月5日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1421, 175-190 (1998).MSC公司：03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.Bachmair}等人，Lect。注释计算。科学。1421、175--190（1998年；Zbl 0926.03006）
利奥·巴赫迈尔;哈拉尔德·甘辛格 严格的基本叠加。 （英语） Zbl 0924.03017号 Kirchner，Claude（编辑）等人，《自动扣除-CADE-15》。第十五届国际会议，德国林道，1998年7月5日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1421, 160-174 (1998).MSC公司：03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.Bachmair}和\textit{H.Ganzinger}，莱克特。注释计算。科学。1421、160--174（1998年；Zbl 0924.03017）
哈拉尔德·甘辛格;佛罗伦萨·杰克马尔;玛格斯·维纳斯 刚性可达性。 （英语） Zbl 0928.03002号 Xiang，Jieh（编辑）等，《计算科学进展——1998年亚洲》。第四届亚洲计算科学会议，菲律宾马尼拉，1998年12月8日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1538年，4-21年（1998年）。MSC公司：03B25号 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Ganzinger}等人，Lect。注释计算。科学。1538，4-21（1998年；兹bl 0928.003002）
哈拉尔德·甘辛格（编辑） 重写技术和应用，RTA-96。第七届国际会议，美国新泽西州新不伦瑞克，1996年7月27日至30日。 （英语） Zbl 0907.00042号 西奥。计算。科学。208，第1-2期，192页（1998年）。 MSC公司：00B25型 68-06 2012年第68季度 PDF格式BibTeX公司 XML格式