H. Ono, A unified algebraic approach to cut elimination via semi-completeness
in: Philosophical Logic: Current Trends in Asia, Springer, pp.19 - 43, 2017.