M. Alizadeh and M. Memarzadeh, “Interpolation Property on Visser’s Formal Propositional Logic”, B Sect Log, vol. 51, no. 3, pp. 297–316, Sep. 2022.