Jakub Neumann, Andrzej Szepietowski: The Emptiness Problem for Weak Rabin Tree Automata. DCFS 2001: 149-158