Maffezioli, P. 2025. Proof Theory for Intuitionistic Stable Theories. Logic and Logical Philosophy. (Jun. 2025), 29–47. DOI:https://doi.org/10.12775/LLP.2025.012.