P. Maffezioli, “Proof Theory for Intuitionistic Stable Theories”, LLP, vol. 35, no. 1, pp. 29–47, Jun. 2025.