Ashok K. Chandra David Harel Horn Clauses Queries and Generalizations. 1-15 1985 2 J. Log. Program. 1 db/journals/jlp/jlp2.html#ChandraH85