State reduction using reversible rules (1996)

by C Norris Ip, David L Dill
Venue:33rd Design Automation Conference