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