Maffezioli, Paolo. “Proof Theory for Intuitionistic Stable Theories”. Logic and Logical Philosophy, vol. 35, no. 1, June 2025, pp. 29-47, doi:10.12775/LLP.2025.012.