Alex Brodsky Reversible Circuit Realizations of Boolean Functions. 67-80 2004 conf/ifipTCS/2004 IFIP TCS db/conf/ifipTCS/ifipTCS2004.html#Brodsky04