ShengYu Shen Ying Qin Sikun Li A Faster Counterexample Minimization Algorithm Based on Refutation Analysis. 672-677 2005 conf/date/2005 DATE http://doi.ieeecomputersociety.org/10.1109/DATE.2005.14 db/conf/date/date2005.html#ShenQL05