Horn Clauses Queries and Generalizations

Ashok K. Chandra, David Harel. Horn Clauses Queries and Generalizations. Journal of Logic and Algebraic Programming, 2(1):1-15, 1985.

Abstract

Abstract is missing.