Induction in an Abstraction Space: A Form of Constructive Induction. - George Drastal; Gabor Czako; Stan Raatz (IJCAI, 1989)