@inproceedings{FKV04,
    author      =   "E. Friedgut and O. Kupferman and M.Y. Vardi",
    title       =   "B{\"u}chi complementation made tighter",
    booktitle   =   "2nd International Symposium on Automated
                  Technology for Verification and Analysis",  
    series      =   "Lecture Notes in Computer Science",
    volume      =   3299,
    pages       =   "64--78",
    publisher   =   "Springer-Verlag",
    year        =   2004
}