Zach, R. 2018 Jul 16. Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC. The Australasian Journal of Logic. [Online] 15:3