Zach, Richard. " Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC." The Australasian Journal of Logic [Online], 15.3 (2018): 609-628. Web. 23 Sep. 2019