竹信部青岛;直纪延崎 一种有效的基于表的无功系统规范部分评估验证方法。 (英语) Zbl 1004.68095号 Jaakkola,Hannu(编辑)等人,《信息建模和知识库》。第12卷。阿姆斯特丹:IOS出版社。前面。Artif公司。因特尔。申请。67, 363-374 (2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.青岛}和\textit{N.延崎},前面。Artif公司。因特尔。申请。67、363--374(2001年;Zbl 1004.68095)
阿卜杜勒瓦赫布·阿亚里;戴维·巴恩斯 演绎画面的高阶解释。 (英语) Zbl 0972.68509号 J.塞姆。计算。 31,第5期,487-520(2001).MSC公司:68甲18 03B35型 68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Ayari}和\textit{D.Basin},J.Symb。计算。31,编号5487-520(2001年;Zbl 0972.68509) 全文: 内政部 链接