@inproceedings{KMM04,
    author      =   "O. Kupferman and G. Morgenstern and A. Murano",
    title       =   "Typeness for $\omega$-regular automata",
    booktitle   =   "2nd International Symposium on Automated
                  Technology for Verification and Analysis",  
    series      =   "Lecture Notes in Computer Science",
    volume      =   3299
    pages       =   324--333
    publisher   =   "Springer-Verlag",
    year        =   2004
}