Efficient derivation of Reed-Muller expansions in multiple-valued logic systems | IEEE Conference Publication | IEEE Xplore