https://123dok.net/document/yd7okv1y-infinitary-proof-theory-the-multiplicative-additive-case.html