Reversible logic synthesis for minimization of full-adder circuit | IEEE Conference Publication | IEEE Xplore