"Synthesis of Reversible Logic Circuits" IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 22, Issue 6, pp. 710-722, June 2003