Deduction in Top-Down Inductive Learning. - Francesco Bergadano; Attilio Giordana; S. Ponsero (ML, 1989)