A Fast Counterexample Minimization Approach with Refutation Analysis and Incremental SAT - Shen, ShengYu (IEEE, 2005)