阿南塔拉曼,湿婆;巴利亚特·纳伦德兰;迈克尔·鲁西诺维奇 统一模ACUI加分配公理。 (英语) Zbl 1063.03006号 J.自动化。推理 33,第1期,1-28页(2004年).MSC公司:03B35型 68吨15 2012年第68季度 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Anantharaman}等人,J.Autom。推理33,No.1,1--28(2004;Zbl 1063.03006) 全文: DOI程序
阿德尔·布胡拉;米夏埃尔·鲁西诺维奇 条件理论中的隐含归纳法。 (英语) 兹伯利0819.68114 J.自动化。推理 14,第2期,189-235(1995).MSC公司:68吨15 03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouhoula}和\textit{M.Rusinovitch},J.Autom。推理14,No.2,189--235(1995;Zbl 0819.68114) 全文: DOI程序