A synthesis approach for ESOP-based reversible circuit | IEEE Conference Publication | IEEE Xplore