@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-Verlag",
    Comment      = ""
}

@InProceedings{RT+13,
    Author       = "Reynolds, A. and Tinelli, C. and Goel, A. and Krstic, S.",
    Year         = "2013",
    Title        = "{Finite Model Finding in SMT}",
    Editor       = "Sharygina, N. and Veith, H.",
    BookTitle    = "{Proceedings of the 25th International Conference on Computer Aided 
                    Verification}",
    Place        = "St Petersburg, Russia",
    Series       = "Lecture Notes in Computer Science",
    Number       = "8044",
    Pages        = "640-655",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}