Bruce G. Buchanan Edward A. Feigenbaum Joshua Lederberg A Heuristic Programming Study of Theory Formation in Science. 40-50 1971 IJCAI db/conf/ijcai/ijcai71.html#BuchananFL71