Inductive inference of formal languages from positive data (1980)

by D Angluin
Venue:Inf. Comput.–Inf. Control