Dhananjay S. Phatak Israel Koren Intermediate Variable Encodings that Enable Multiplexor-Based Implementations of Two Operand Addition. 22-29 1999 conf/arith/1999 IEEE Symposium on Computer Arithmetic http://csdl.computer.org/comp/proceedings/arith/1999/0116/00/01160022abs.htm db/conf/arith/arith1999.html#PhatakK99