Satrajit Chatterjee Alan Mishchenko Robert K. Brayton Andreas Kuehlmann On Resolution Proofs for Combinational Equivalence. 600-605 2007 conf/dac/2007 DAC http://doi.ieeecomputersociety.org/10.1109/DAC.2007.375234 db/conf/dac/dac2007.html#ChatterjeeMBK07