Renato Bruni Approximating minimal unsatisfiable subformulae by means of adaptive core search. 85-100 2003 130 Discrete Applied Mathematics 2 http://dx.doi.org/10.1016/S0166-218X(02)00399-2 db/journals/dam/dam130.html#Bruni03