Wray L. Buntine Generalized Subsumption and Its Applications to Induction and Redundancy. 149-176 1988 36 Artif. Intell. 2 db/journals/ai/ai36.html#Buntine88