Model generation by domain refinement and rule reduction | IEEE Journals & Magazine | IEEE Xplore