Boeken over An analysis of refinement operators in inductive logic programming