Rönnedal, D. “Counterfactuals and Semantic Tableaux”. Logic and Logical Philosophy, vol. 18, no. 1, Aug. 2009, pp. 71-91, doi:10.12775/LLP.2009.006.