Maffezioli P. Proof Theory for Intuitionistic Stable Theories. LLP [Internet]. 2025 Jun. 27 [cited 2026 Feb. 15];:29-47. Available from: https://apcz.umk.pl/LLP/article/view/56463