Sia, S., A. Belyy, A. Almahairi, M. Khabsa, L. Zettlemoyer, and L. Mathias. “Logical Satisfiability of Counterfactuals for Faithful Explanations in NLI”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 37, no. 8, June 2023, pp. 9837-45, doi:10.1609/aaai.v37i8.26174.