Arithmetic version of Boolean algebra | IEEE Conference Publication | IEEE Xplore