Ganapathy Parthasarathy Madhu K. Iyer Kwang-Ting Cheng Li-C. Wang Efficient reachability checking using sequential SAT. 418-423 2004 conf/aspdac/2004 ASP-DAC http://doi.acm.org/10.1145/1015090.1015195 db/conf/aspdac/aspdac2004.html#ParthasarathyICW04