LBI Cut Elimination Proof with BI-MultiCut | IEEE Conference Publication | IEEE Xplore