Peter Dahlgren Oscillation Control in Logic Simulation using Dynamic Dominance Grahps. 155-160 1996 DAC http://doi.acm.org/10.1145/240518.240547 db/conf/dac/dac96.html#Dahlgren96