迪帕克·卡普尔;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) 全文: 内政部