Yu, Jinqiang, et al. “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, vol. 37, no. 4, June 2023, pp. 4123-31, doi:10.1609/aaai.v37i4.25528.