A Labeled Deduction System for the Logic UB | IEEE Conference Publication | IEEE Xplore