@inproceedings{KV98b, author = "O. Kupferman and M.Y. Vardi", title = "Weak alternating automata and tree automata emptiness", booktitle = "Proc. 30th ACM Symposium on Theory of Computing", address = "Dallas", year = "1998" }