Reversible logic synthesis of boolean functions using functional decomposition | IEEE Conference Publication | IEEE Xplore