What is the standard reference for the provability of the cut-elimination theorem in PRA?

Update: Rasmus Blanck has offered a reference for a system other than Gentzen's $\mathfrak L \mathfrak K$. The bounty is for a reference for the provability of the cut-elimination theorem for the sequent calculus $\mathfrak L \mathfrak K$ in PRA.