Alizadeh, M., and A. Bibak. “Remarks on Stable Formulas in Intuitionistic Logic”. Logic and Logical Philosophy, vol. 28, no. 2, Nov. 2018, pp. 209-22, doi:10.12775/LLP.2018.017.