Alizadeh, Majid, and Ali Bibak. 2018. “Remarks on Stable Formulas in Intuitionistic Logic”. Logic and Logical Philosophy 28 (2):209-22. https://doi.org/10.12775/LLP.2018.017.