A note on inductive generalization (1970)

by G Plotkin
Venue:Machine Intelligence