Identification of counterfactual queries in causal models
