Christof Löding: Simplification Problems for Deterministic Pushdown Automata on Infinite Words. Int. J. Found. Comput. Sci. 26(8): 1041-1068 (2015)