Tomás Lang Javier D. Bruguera Multilevel Reverse-Carry Computation for Comparison and for Sign and Overflow Detection in Addition. 73-79 1999 ICCD http://csdl.computer.org/comp/proceedings/iccd/1999/0406/00/04060073abs.htm db/conf/iccd/iccd1999.html#LangB99