William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski. Quantum logic synthesis by symbolic reachability analysis. In Sharad Malik, Limor Fix, Andrew B. Kahng, editors, Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004. pages 838-841, ACM, 2004. [doi]