https://123dok.net/document/yd7lp3nl-proof-complexity-cut-free-bounded-deep-inference.html