Rönnedal, D. 2009. Counterfactuals and semantic tableaux. Logic and Logical Philosophy. 18, 1 (Aug. 2009), 71–91. DOI:https://doi.org/10.12775/LLP.2009.006.