Willer, M. Simplifying Counterfactual. Proceedings of the AC 2015, 428-437.