Multiple-valued logic operations with universal literals | IEEE Conference Publication | IEEE Xplore