@inproceedings{KV03b,
    author     =    "O. Kupferman and M.Y. Vardi",
    title      =    {$\Pi_2 \cap \Sigma_2 \equiv$ AFMC},
    booktitle =     "Proc. 30th International Colloq. on Automata,
                         Programming, and Languages",
        pages           = "697--713",
        series      = "Lecture Notes in Computer Science",
        volume      = 2719,
        publisher       = "Springer-Verlag",
        month       = "June",
        year            = 2003

}