State Reduction Using Reversible Rules (1996)

by C. Norris Ip, C. Norris, Ip David, David L. Dill