Top-down induction of first order logical decision trees by H. Blockeel