Inductive inference of minimal size programs (1990)

by R Freivalds
Venue:In