@InProceedings{Gd09,
    Author       = "Ge, Y. and de Moura, L.",
    Year         = "2009",
    Title        = "{Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo
                    Theories}",
    Editor       = "Bouajjani, A. and Maler, O.",
    BookTitle    = "{Proceedings of the 21st International Conference on Computer Aided
                    Verification}",
    Place        = "Grenoble, France",
    Series       = "Lecture Notes in Computer Science",
    Number       = "5643",
    Pages        = "306-320",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}