Liberti, et al.. Mathematical Programming Based Debugging. Elsevier BV, 2010, doi:10.1016/j.endm.2010.05.166.