Minimizing counterexample with Unit Core Extraction and Incremental SAT - Shen, ShengYu (Springer, 2005)