William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski. Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis. IEEE Trans. on CAD of Integrated Circuits and Systems, 25(9):1652-1663, 2006. [doi]
Abstract is missing.