Weak Muller acceptance conditions for tree automata

Salvatore La Torre, Aniello Murano, Margherita Napoli. Weak Muller acceptance conditions for tree automata. Theoretical Computer Science, 332(1-3):233-250, 2005. [doi]

Abstract

Abstract is missing.