http://www0.cs.ucl.ac.uk/staff/J.Brotherston/slides/PARIS_FLoC_07_18_part1.pdf

cycleq cyclegg inductionless induction

https://hal.archives-ouvertes.fr/hal-01558132/document a cut free cyclic proof system for kleene