On if-then-else inference rules | IEEE Conference Publication | IEEE Xplore