Salvatore La Torre, Aniello Murano, Margherita Napoli. Weak Muller Acceptance Conditions for Tree Automata. In Agostino Cortesi, editor, Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers. Volume 2294 of Lecture Notes in Computer Science, pages 240-254, Springer, 2002. [doi]
Abstract is missing.