Learning Conjunctions of Horn Clauses (Abstract).

Dana Angluin, Michael Frazier, Leonard Pitt

Browse the full COLT paper archive.