Jiang, J.; Leofante, F.; Rago, A.; Toni, F. Formalising the Robustness of Counterfactual Explanations for Neural Networks. AAAI 2023, 37, 14901-14909.