Read Lenat's "Why AM and Eurisko Appear to Work".[1]
[1] https://www.aaai.org/Papers/AAAI/1983/AAAI83-059.pdf