Othman, Osama, Bryant, CH, "Preceding rule induction with instance reduction methods", , 2013