@InProceedings{BST10,
    Author       = "Barrett, C. and Stump, A. and Tinelli, C.",
    Year         = "2010",
    Title        = "{The SMT-LIB Standard: Version 2.0}",
    Editor       = "Gupta, A. and Kroening, D.",
    BookTitle    = "{Proceedings of the 8th International Workshop on Satisfiability Modulo
                    Theories}",
    Place        = "Edinburgh, United Kingdom",
    Pages        = "",
    Comment      = ""
}