Éric Grégoire Bertrand Mazure Cédric Piette Tracking MUSes and Strict Inconsistent Covers. 39-46 2006 conf/fmcad/2006 FMCAD http://doi.ieeecomputersociety.org/10.1109/FMCAD.2006.34 db/conf/fmcad/fmcad2006.html#GregoireMP06