Chao Wang Hyondeuk Kim Aarti Gupta Hybrid CEGAR: combining variable hiding and predicate abstraction. 310-317 2007 conf/iccad/2007 ICCAD http://doi.acm.org/10.1145/1326073.1326138 db/conf/iccad/iccad2007.html#WangKG07