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