Gershman, Koifman, Strichman, 2006. Deriving Small Unsatisfiable Cores with Dominators, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/11817963_13