The G-calculus based compositional rule of inference | IEEE Conference Publication | IEEE Xplore