Chang,C.L。;斯莱格尔,J.R。 搜索and/OR图的一种允许的优化算法。 (英语) Zbl 0227.68016号 Artif公司。智力。 2, 117-128 (1971).MSC公司:68兰特 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{C.L.Chang}和\textit{J.R.Slagle},Artif。因特尔。2117--128(1971;Zbl 0227.68016) 全文: 内政部
詹姆斯·斯拉格尔(James R.Slagle)。;Deena A.科尼弗。 在and/OR树中查找分辨率证明并使用重复目标。 (英语) Zbl 0226.68043号 信息科学。 3, 315-342 (1971).MSC公司:68吨15 68-04 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Slagle}和\textit{D.A.Koniver},《信息科学》。315--342(1971;Zbl 0226.68043) 全文: 内政部