Reversible Logic Circuit Synthesis
I'm not very familiar with the field, but my advisor Shigeru Yamashita is. I recommend you to check his home page. Here are some interesting papers he has:


A transduction-based framework to synthesize RSFQ circuits. Shigeru Yamashita, Katsunori Tanaka, Hideyuki Takada, Koji Obata, Kazuyoshi Takagi. In ASP-DAC 2006.
Transformation rules for designing CNOT-based quantum circuits. Kazuo Iwama, Yahiko Kambayashi, Shigeru Yamashita. DAC 2002.
DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction. Shigeru YAMASHITA, Shin-ichi MINATO and D. Michael MILLER. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E91.A (2008) , No. 12 pp.3793-3802.


Other people that you should check their home pages are Igor Markov and Dimitri Maslov.