Zach, R. (2018). Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC. The Australasian Journal Of Logic, 15(3), 609-628. doi:10.26686/ajl.v15i3.4780