Badia, Guillermo. " A Remark on Maksimova's Variable Separation Property in Super-Bi-Intuitionistic Logics." The Australasian Journal of Logic [Online], 14.1 (2017): n. pag. Web. 20 Oct. 2019