John Moondanos Carl-Johan H. Seger Ziyad Hanna Daher Kaiss CLEVER: Divide and Conquer Combinational Logic Equivalence VERification with False Negative Elimination. 131-143 2001 conf/cav/2001 CAV http://dx.doi.org/10.1007/3-540-44585-4_12 db/conf/cav/cav2001.html#MoondanosSHK01