Alessandro Cimatti Jori Dubrovin Tommi A. Junttila Marco Roveri Structure-aware computation of predicate abstraction. 9-16 2009 FMCAD http://dx.doi.org/10.1109/FMCAD.2009.5351149 conf/fmcad/2009 db/conf/fmcad/fmcad2009.html#CimattiDJR09