The Work Effective Cut-elimination for a Fragment of Modal mu-calculus The details The Author Grigori Mints The offers