Thomas Sudkamp A. Knapp J. Knapp Model generation by domain refinement and rule reduction. 45-55 2003 33 IEEE Transactions on Systems, Man, and Cybernetics, Part B 1 db/journals/tsmc/tsmcb33.html#SudkampKK03