C. Norris Ip, David L. Dill: State Reduction Using Reversible Rules. DAC 1996: 564-567