Automatic Methods of Inductive Inference (1971)

by G D Plotkin