Constructive Induction in Theory Refinement.

Raymond J. Mooney, Dirk Ourston

Browse the full ICML paper archive.