R. H. Hardin Robert P. Kurshan Sandeep K. Shukla Moshe Y. Vardi A New Heuristic for Bad Cycle Detection Using BDDs. 131-140 2001 18 Formal Methods in System Design 2 db/journals/fmsd/fmsd18.html#HardinKSV01