@inproceedings{KV05a,
        author      =   "O. Kupferman and M.Y. Vardi",
        title       =   "Complementation Constructions for Nondeterministic Automata on Infinite Words", 
        booktitle =     "11th International Conference on Tools and
                  algorithms for the construction and   
                  analysis of systems",
        series      =   "Lecture Notes in Computer Science",
        publisher   =   "Springer-Verlag",
        year        =   "2004"
}