HORN CLAUSE QUERIES AND GENERALIZATIONS.

被引：104

作者：

Chandra, Ashok K. ^{[1
]}

Harel, David ^{[1
]}

机构：

[1] IBM, Thomas J. Watson Research Cent,, Yorktown Heights, NY, USA, IBM, Thomas J. Watson Research Cent, Yorktown Heights, NY, USA

来源：

Journal of Logic Programming | 1985年 / 2卷 / 01期

关键词：

D O I：

10.1016/0743-1066(85)90002-0

中图分类号：

学科分类号：

摘要：

引用

页码：1 / 15