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