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