Novel BCD adders and their reversible logic implementation for IEEE 754r format
Logical reversibility of computation