IEEE收录,writebyPallavGupta,AbhinavAgrawal,andNirajK.Jha,Fellow,可逆逻辑方面的权威论文之一