Learning Conjunctions of Horn Clauses (Extended Abstract)

Learning Conjunctions of Horn Clauses (Extended Abstract) Dana Angluin Michael Frazier Leonard Pitt 186-192 conf/focs/FOCS31a 1990 FOCS db/conf/focs/focs90.html#AngluinFP90