Reversible adder-subtractor circuit with carry and borrow propagate facility | IEEE Conference Publication | IEEE Xplore