Learning conjunctions of Horn clauses (1992)

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