劳伦斯·C·鲍尔森。;Grąbczewski，Krzysztof 机械化集合论。基数运算和选择公理。 （英语） Zbl 0868.03005号 J.自动化。推理 第3期第17页，第291-323页（1996年）. 审核人：D.盆地（弗莱堡i.Br.） MSC公司：03B35型 03E25型 68吨15 03E10年 PDF格式BibTeX公司 XML格式引用 \textit{L.C.Paulson}和\textit{K.Grąbczewski}，J.Autom。推理17，No.3，291--323（1996；Zbl 0868.03005） 全文： 内政部
迪帕克·卡普尔;Subramaniam，M。 线性算法在归纳法自动定理证明中的新用途。 （英语） Zbl 0851.0302号 J.自动化。推理 16，第1-2号，第39-78页（1996年）. 审核人：D.盆地（萨尔布吕肯） MSC公司：03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}和\textit{M.Subramaniam}，J.Autom。推理16，No.1--2，39--78（1996；Zbl 0851.0302） 全文： 内政部
大卫·塞鲁克;帕特里克·林肯;Natarajan Shankar 论肖斯塔克的理论组合决策程序。 （英语） Zbl 1415.03019号 McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1104, 463-477 (1996).MSC公司：03B35型 03年2月25日 03B62号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Cyrluk}等人，Lect。注释计算。科学。1104463-477（1996年；Zbl 1415.03019） 全文： 内政部