Yu, J.; Ignatiev, A.; Stuckey, P. J.; Narodytska, N.; Marques-Silva, J. Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations. AAAI 2023, 37, 4123-4131.