Proof Theory for Intuitionistic Strong Löb Logic - Iris van der Giessen; Rosalie Iemhoff (2020)