Maffezioli, Paolo. “Proof Theory for Intuitionistic Stable Theories”. Logic and Logical Philosophy (June 27, 2025): 29–47. Accessed February 15, 2026. https://apcz.umk.pl/LLP/article/view/56463.