A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed-points
scientific article; zbMATH DE number 7850746