A Symbolic Approach for Counterfactual Explanations