Yu, J. (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), pp. 4123–4131. doi: 10.1609/aaai.v37i4.25528.