ZACH, Richard. Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC. The Australasian Journal of Logic, [S.l.], v. 15, n. 3, p. 609-628, july 2018. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/4780>. Date accessed: 21 sep. 2019. doi: https://doi.org/10.26686/ajl.v15i3.4780.