G. D. Plotkin A further note on inductive generalization In Machine Intelligence pages 101-124 1971 volume 6 Edinburgh University Press