Yu, J., Ignatiev, A., Stuckey, P. J., Narodytska, N., & Marques-Silva, J. (2023). Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations. Proceedings of the AAAI Conference on Artificial Intelligence, 37(4), 4123-4131. https://doi.org/10.1609/aaai.v37i4.25528