利奥·巴赫迈尔；哈拉尔德·甘辛格 传递关系一阶理论的有序链计算。 （英语） Zbl 1065.68615号 美国临床医学杂志 45，第6期，1007-1049（1998）. 引用于23文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 03B35型 证明和逻辑操作的机械化 软件：PVS公司 PDF格式BibTeX公司 XML格式引用 \textit｛L.Bachmair｝和\textit｛H.Ganzinger｝，J.ACM 45，编号6，1007–1049（1998年；Zbl 1065.68615） 全文： 内政部