RL4: a tool for knowledge-based induction | IEEE Conference Publication | IEEE Xplore