1. Binary decision diagrams;Akers;IEEE Trans. Comput.,1978
2. Binary Decision Diagrams and Applications for VLSI CAD;ichi Minato,1996
3. R.E. Bryant, Symbolic Manipulation of Boolean Functions Using a Graphical Representation, in: 22nd ACM/IEEE Design Automation Conference, Las Vegas Nevada, USA, 1985, pp. 688–694, http://dx.doi.org/10.1109/DAC.1985.1586017.
4. Effect of BDD optimization on synthesis of reversible and quantum logic;Wille;Electron. Notes Theor. Comput. Sci.,2010
5. BDD-based synthesis of reversible logic for large functions;Wille,2009