斯迪恩·海曼斯;Davy Van Nieuwenborgh;德克·弗梅尔 概念逻辑程序。 (英语) Zbl 1105.68102号 安。数学。Artif公司。智力。 47,编号1-2,103-137(2006).MSC公司:68T27型 68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Heymans}等人,《数学年鉴》。Artif公司。智力。47,编号1--2,103-137(2006;Zbl 1105.68102) 全文: 内政部
密尔斯曼,R。;G.罗森伯格。;Vermeir博士。 持久ETOL系统。 (英语) Zbl 0442.68072号 信息科学。 18, 189-212 (1979).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Meersman}等人,《信息科学》。18、189--212(1979年;Zbl 0442.68072) 全文: 内政部