MAFFEZIOLI, Paolo. Proof Theory for Intuitionistic Stable Theories. Logic and Logical Philosophy. Online. 27 June 2025. Vol. 35, no. 1, pp. 29-47. [Accessed 10 April 2026]. DOI 10.12775/LLP.2025.012.