An integrated rule-based reduction system | IEEE Conference Publication | IEEE Xplore