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