Cut-Down Operations on Bilattices | IEEE Conference Publication | IEEE Xplore