M. Alizadeh and A. Bibak, “Remarks on Stable Formulas in Intuitionistic Logic”, LLP, vol. 28, no. 2, pp. 209–222, Nov. 2018.