Badia, G. (2017). A Remark on Maksimova's Variable Separation Property in Super-Bi-Intuitionistic Logics. The Australasian Journal Of Logic, 14(1). doi:10.26686/ajl.v14i1.4027