Alizadeh, M.; Bibak, A. Remarks on Stable Formulas in Intuitionistic Logic. LLP 2018, 28, 209-222.