Previti, A.; Mencía, C.; Järvisalo, M.; Marques-Silva, J. Premise Set Caching for Enumerating Minimal Correction Subsets. AAAI 2018, 32.