Cut hierarchies for restarting automata and Marcus t-contextual grammars (2004)Jurdzinski, T.; Mraz, F.; Otto, F.; Platek, M.Technical documentation