Synthesis and Optimization of Reversible Circuits - A Survey
Graph-Based Algorithms for Boolean Function Manipulation