P. Maffezioli, “Proof Theory for Intuitionistic Stable Theories”, LLP, pp. 1–19, Jun. 2025.