Rule break up with compositional rule of inference | IEEE Conference Publication | IEEE Xplore