Alizadeh, M. and Bibak, A. (2018) “Remarks on Stable Formulas in Intuitionistic Logic”, Logic and Logical Philosophy, 28(2), pp. 209–222. doi: 10.12775/LLP.2018.017.