Dirk Ourston Raymond J. Mooney Theory Refinement Combining Analytical and Empirical Methods. 273-309 1994 66 Artif. Intell. 2 db/journals/ai/ai66.html#OurstonM94