Yu, Jinqiang, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, and Joao Marques-Silva. 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-31. https://doi.org/10.1609/aaai.v37i4.25528.