Ignatiev, A.; Narodytska, N.; Marques-Silva, J. Abduction-Based Explanations for Machine Learning Models. AAAI 2019, 33, 1511-1519.