Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah, João P. Marques Silva. On Applying Incremental Satisfiability to Delay Fault Testing. In 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France. pages 380-384, IEEE Computer Society, 2000. [doi]