Zach, Richard. " Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC" The Australasian Journal of Logic [Online], Volume 15 Number 3 (16 July 2018)