Theorems on efficient argument reductions | IEEE Conference Publication | IEEE Xplore