Huy Nguyen, Michael S. Hsiao. Sequential equivalence checking of hard instances with targeted inductive invariants and efficient filtering strategies. In 2012 IEEE International High Level Design Validation and Test Workshop, HLDVT 2012, Huntington Beach, CA, USA, November 9-10, 2012. pages 1-8, IEEE Computer Society, 2012. [doi]