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