A note on inductive generalization (1970)

by G D Plotkin
Venue:In Machine Intelligence