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