D. Rönnedal, “Counterfactuals and semantic tableaux”, LLP, vol. 18, no. 1, pp. 71–91, Aug. 2009.