Gianpiero Cabodi Luciano Lavagno Enrico Macii Massimo Poncino Stefano Quer Paolo Camurati Ellen Sentovich Enhancing FSM Traversal by Temporary Re-Encoding. 6-11 1996 conf/iccd/1996 ICCD http://computer.org/proceedings/iccd/7554/75540006abs.htm db/conf/iccd/iccd1996.html#CabodiLMPQCS96