ShengYu Shen Ying Qin Sikun Li A fast counterexample minimization approach with refutation analysis and incremental SAT. 451-454 2005 conf/aspdac/2005 ASP-DAC http://doi.acm.org/10.1145/1120725.1120910 db/conf/aspdac/aspdac2005.html#ShenQL05