艾伦·M·弗里希。 分类演绎的替代框架:混合推理的基本结果。 (英语) Zbl 0736.68071号 Artif公司。智力。 49,第1-3号,161-198(1991).MSC公司:第68页第15页 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Frisch},阿蒂夫。智力。49,No.1--3,161--198(1991;Zbl 0736.68071) 全文: 内政部
H·科蒙。;D.卢吉兹。;Schnoebelen博士。 计算机代数子集的一种基于重写的类型学科。 (英语) Zbl 0739.68048号 J.塞姆。计算。 11,第4期,349-368(1991). 审核人:D.Tătar(克卢日) MSC公司:68瓦30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Comon}等人,J.Symb。计算。11,第4号,349--368(1991;Zbl 0739.68048) 全文: 内政部