@InProceedings{BB+22-cvc5,
    Author       = "Barbosa, H. and Barrett, C. and Brain, M. and Kremer, G. and Lachnitt, H. and
                    Mann, M. and Mohamed, A. and Mohamed, M. and Niemetz, A. and N{\"{o}}tzli, A.
                    and Ozdemir, A. and Preiner, M. and Reynolds, A. and Sheng, Y. and Tinelli, C.
                    and Zohar, Y.",
    Year         = "2022",
    Title        = "{cvc5: A Versatile and Industrial-Strength SMT Solver}",
    Editor       = "Fisman, D. and Rosu, G.",
    BookTitle    = "{Proceedings of the 28th International Conference on Tools and Algorithms for
                    the Construction and Analysis of Systems}",
    Place        = "Munich, Germany",
    Series       = "Lecture Notes in Computer Science",
    Number       = "13243",
    Pages        = "415-442",
    Publisher    = "Springer",
    Address      = "Berlin, Germany",
    Comment      = ""
}