Sia, S.; Belyy, A.; Almahairi, A.; Khabsa, M.; Zettlemoyer, L.; Mathias, L. Logical Satisfiability of Counterfactuals for Faithful Explanations in NLI. AAAI 2023, 37, 9837-9845.