1. On the automatic formation of a computer program which represents a theory;Amarel,1962
2. Programs for machine learning, Part I;Hormann;Inform. and Control,1962
3. Gaku: An Artificial Student of Problem Solving;Hormann,1963
4. Sophistication in computers: a disagreement;Kelly;IRE Trans. Inform. Theory,1962
5. Experimental study of “hypothesis formation” by computer;Kochen,1960