Learning conjunctions of Horn clauses (1990)

by Dana Angluin, Michael Frazier, Leonard Pitt
Venue:In Proceedings of the 31st Annual Symposium on Foundations of Computer Science