The incremental-cost approach for synthesis of CCD 4-valued unary functions | IEEE Conference Publication | IEEE Xplore