Maffezioli, P. Proof Theory for Intuitionistic Stable Theories. LLP 2025, 1-19.