@inproceedings{KV05c,
    author        =     "O. Kupferman and M.Y. Vardi",
        title     =     "Safraless Decision Procedures",
        booktitle =     "Proc. 46th {IEEE} Symp.
                         on Foundations of Computer Science",
        address   =     "Pittsburgh",
        pages     =     "531--540",
        month     =     "October",
        year      =     2005
}