迈克尔·科迪什;亲爱的,丹尼斯;埃亚尔·亚德尼 逻辑程序的自底向上抽象解释。 (英语) Zbl 0795.68038号 西奥。计算。科学。 124,第1期,93-125(1994).MSC公司:68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Codish}等人,Theor。计算。科学。124,编号1,93--125(1994;Zbl 0795.68038) 全文: 内政部
迈克尔·科迪什;埃胡德·夏皮罗 将OR并行编译为AND并行。 (英语) Zbl 0614.68022号 新一代计算。 5, 45-61 (1987).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Codish}和\textit{E.Shapiro},新一代计算。5、45-61(1987年;Zbl 0614.68022) 全文: 内政部