@InProceedings{RT+13-CADE,
    Author       = "Reynolds, A. and Tinelli, C. and Goel, A. and Krstic, S.
                    and Deters, M. and Barrett, C.",
    Year         = "2013",
    Title        = "{Quantifier Instantiation Techniques for Finite Model Finding in SMT}",
    Editor       = "Bonacina, M.P.",
    BookTitle    = "{Proceedings of the 24th International Conference on Automated Deduction}",
    Place        = "Lake Placid, USA",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "7898",
    Pages        = "377-391",
    Publisher    = "Springer",
    Address      = "Berlin, Germany",
    Comment      = ""
}