Design of 1-tape 2-symbol reversible Turing machines based on reversible logic elements. - Jia Lee; Rui-Long Yang; Kenichi Morita (Theor. Comput. Sci., 2012)

Binary-decision-diagram-based decomposition of Boolean functions into reversible logic elements. - Jia Lee; Ya-Hui Ye; Xin Huang; Rui-Long Yang (Theor. Comput. Sci., 2020)