@InProceedings{RTd14,
    Author       = "Reynolds, A. and Tinelli, C. and de Moura, L.",
    Year         = "2014",
    Title        = "{Finding Conflicting Instances of Quantified Formulas in SMT}",
    Editor       = "Claessen, K. and Kuncak, V.",
    BookTitle    = "{Proceedings of the 14th Conference on Formal Methods in Computer-Aided 
                    Design}",
    Place        = "Lausanne, Switzerland",
    Pages        = "195-202",
    Comment      = ""
}