Irene Weber Levelwise Search and Pruning Strategies for First-Order Hypothesis Spaces. 217-239 2000 14 J. Intell. Inf. Syst. 2-3 db/journals/jiis/jiis14.html#Weber00