M. Willer, “Simplifying Counterfactual”, Proceedings of the AC, pp. 428–437, Dec. 2015, doi: 10.53437/0f3k0v32.