Synthesis of Reversible Circuits with No Ancilla Bits for Large Reversible Functions Specified with Bit Equations | IEEE Conference Publication | IEEE Xplore