BDD-based synthesis of reversible logic for large functions.

Robert Wille Rolf Drechsler BDD-based synthesis of reversible logic for large functions. 270-275 2009 DAC http://doi.acm.org/10.1145/1629911.1629984 conf/dac/2009 db/conf/dac/dac2009.html#WilleD09