C.H.: Inductive inference: Theory and methods (1983)

by D Angluin, Smith
Venue:ACM Comput. Surv