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