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