Reversible Circuit Optimization Via Leaving the Boolean Domain | IEEE Journals & Magazine | IEEE Xplore