Roman Gershman Maya Koifman Ofer Strichman Deriving Small Unsatisfiable Cores with Dominators. 109-122 2006 conf/cav/2006 CAV http://dx.doi.org/10.1007/11817963_13 db/conf/cav/cav2006.html#GershmanKS06