Horn Clauses Queries and Generalizations

Authors: Ashok K. Chandra, David Harel - The Journal of Logic Programming 1985 cited by 309