Debugging of Reversible Circuits Using pDDs. - Laura Tague; Mathias Soeken; Shin-ichi Minato; Rolf Drechsler (ISMVL, 2013)

Ancilla-free synthesis of large reversible functions using binary decision diagrams. - Mathias Soeken; Laura Tague; Gerhard W. Dueck; Rolf Drechsler (J. Symb. Comput., 2016)

Using decision diagrams in the design of reversible circuit: embedding - synthesis - debugging - equivalence checking. - Laura Sandrine Ngouo'goum Tague (2016)