[1]
A. Previti, C. Mencía, M. Järvisalo, and J. Marques-Silva, “Premise Set Caching for Enumerating Minimal Correction Subsets”, AAAI, vol. 32, no. 1, Apr. 2018.