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