Synthesis of ESOP-based reversible logic using negative polarity reed-muller form | IEEE Conference Publication | IEEE Xplore