Learning conjunctions of Horn clauses (1992)

by ID Angluin, M Frazier, L Pitt
Venue:Machine Learning