Toffoli netlist based synthesis of four variable reversible functions | IEEE Conference Publication | IEEE Xplore