Zaher S. Andraus Mark H. Liffiton Karem A. Sakallah Refinement strategies for verification methods based on datapath abstraction. 19-24 2006 conf/aspdac/2006 ASP-DAC http://doi.acm.org/10.1145/1118299.1118306 db/conf/aspdac/aspdac2006.html#AndrausLS06