Combining Top-down and Bottom-up Techniques in Inductive Logic Programming. - John M. Zelle; Raymond J. Mooney; Joshua B. Konvisser (ICML, 1994)