Dana Angluin Michael Frazier Leonard Pitt Learning Conjunctions of Horn Clauses. 147-164 1992 9 Machine Learning db/journals/ml/ml9.html#AngluinFP92