Optimizing DD-based synthesis of reversible circuits using negative control lines | IEEE Conference Publication | IEEE Xplore