哈罗德·博利;菲利普·汉斯克;克努特·辛克尔曼;曼弗雷德·梅耶 CoLab:一个混合知识表示和编译实验室。 (英语) Zbl 0844.68110号 安·Oper。物件。 55,11-79(1995年).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{H.Boley}等人,Ann.Oper。第55号决议、第11-79号决议(1995年;Zbl 0844.68110) 全文: 内政部
菲利普·汉斯克;尤尔茨,约格 最小二进制程序的可满足性。 (英语) Zbl 0771.68035号 Inf.流程。莱特。 45,第5期,237-241(1993).MSC公司:68N17号 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{P.Hanschke}和\textit{J.Würtz},Inf.过程。莱特。45,第5号,237--241(1993;Zbl 0771.68035) 全文: 内政部