Theory formation by heuristic search (1983)

by D Lenat
Venue:Machine Learning