Boosting Inductive Logic Programming via Decomposition, Merging, and Refinement | IEEE Conference Publication | IEEE Xplore