Sia, Suzanna, et al. “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.