Christof Löding, Stefan Repke: Regularity Problems for Weak Pushdown ω-Automata and Games. MFCS 2012: 764-776