托马斯·拉斯;延斯·奥滕;克里斯托夫·克里茨 直觉逻辑的ILTP问题库。 （英语） Zbl 1113.68093号 J.汽车。推理 38，编号1-3，261-271（2007）.理学硕士：68吨15 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Raths}等人，J.Autom。推理38，No.1--3，261--271（2007；Zbl 1113.68093） 全文： 内政部
克里茨，C。;H.曼特尔。;J.奥顿。;施密特，S。 线性逻辑中基于连接的证明结构。 （英语） Zbl 1430.03040号 William McCune（编辑），《自动扣除——CADE-14》。第14届自动扣款国际会议，澳大利亚北昆士兰汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1249, 207-221 (1997).理学硕士：03B35型 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{C.Kreitz}等人，Lect。注释计算。科学。1249、207--221（1997；Zbl 1430.03040） 全文： 内政部