Counterfactual explanations and model multiplicity: a relational verification view - Leofante, F; Botoeva, E; Rajani, V (IJCAI Organization, 2023)