Maffezioli, P. Proof Theory for Intuitionistic Stable Theories. LLP 2025, 29-47.