@inproceedings{KV05:safraless,
    Author = {Kupferman, O. and Vardi, M.Y.},
    BookTitle = {Foundations of Computer Science, 2005. FOCS 2005. 46th Annual IEEE Symposium on},
    File = {Safraless decision procedures - Kupferman, Vardi (0) (0) - a - a - d.pdf},
    Keywords = {alternating automata and tree automata and temporal logic},
    Month = {oct.},
    Pages = {531 - 540},
    Title = {Safraless decision procedures},
    Year = {2005},
    bdsk-url-1 = {http://dx.doi.org/10.1109/SFCS.2005.66},
    date-added = {2012-04-04 10:21:13 +0200},
    date-modified = {2012-04-04 08:53:04 +0000},
    file-2 = {Safraless decision procedures - Kupferman, Vardi (1) (0) - a - a - d.pdf},
    doi = {10.1109/SFCS.2005.66}
}

@inproceedings{KV05:safraless, Author = {Kupferman, O. and Vardi, M.Y.}, BookTitle = {Foundations of Computer Science, 2005. FOCS 2005. 46th Annual IEEE Symposium on}, File = {Safraless decision procedures - Kupferman, Vardi (0) (0) - a - a - d.pdf}, Keywords = {alternating automata and tree automata and temporal logic}, Month = {oct.}, Pages = {531 - 540}, Title = {Safraless decision procedures}, Year = {2005}, bdsk-url-1 = {http://dx.doi.org/10.1109/SFCS.2005.66}, date-added = {2012-04-04 10:21:13 +0200}, date-modified = {2012-04-04 08:53:04 +0000}, file-2 = {Safraless decision procedures - Kupferman, Vardi (1) (0) - a - a - d.pdf}, doi = {10.1109/SFCS.2005.66} }