https://123dok.net/document/qo5l089k-cut-free-cyclic-proof-system-for-kleene-algebra.html