Florian Pigorsch Christoph Scholl Stefan Disch Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling. 89-96 2006 conf/fmcad/2006 FMCAD http://doi.ieeecomputersociety.org/10.1109/FMCAD.2006.4 db/conf/fmcad/fmcad2006.html#PigorschSD06