Yu, Jinqiang, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, and Joao Marques-Silva. “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, no. 4 (June 26, 2023): 4123–4131. Accessed May 14, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/25528.