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