Previti, A.; Marques-Silva, J. Partial MUS Enumeration. AAAI 2013, 27, 818-825.