MAFFEZIOLI, Paolo. Proof Theory for Intuitionistic Stable Theories. Logic and Logical Philosophy. Online. 27 June 2025. pp. 1-19. [Accessed 29 June 2025]. DOI 10.12775/LLP.2025.012.