@InProceedings{dMB08,
    Author       = "de Moura, L. and Bj{\o}rner, N.",
    Year         = "2008",
    Title        = "{Z3: An Efficient SMT Solver}",
    Editor       = "Ramakrishnan, C. and Rehof, J.",
    BookTitle    = "{Proceedings of the 14th International Conference on Tools and Algorithms for
                    the Construction and Analysis of Systems}",
    Place        = "Budapest, Hungary",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "4963",
    Pages        = "337-340",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}