S. Sia, A. Belyy, A. Almahairi, M. Khabsa, L. Zettlemoyer, and L. Mathias, “Logical Satisfiability of Counterfactuals for Faithful Explanations in NLI”, AAAI, vol. 37, no. 8, pp. 9837–9845, Jun. 2023.