Horn Clauses Queries and Generalizations

著者: Ashok K. Chandra, David Harel - The Journal of Logic Programming 1985 被引用: 309