Cut elimination in coalgebraic logics
scientific article; zbMATH DE number 5836751
scientific article