an oracle based approach to constructive induction (1987)

by S H Duce Muggleton
Venue:In: IJCAI