src/Doc/manual.bib

   title = 	 {Proof Assistants using Dependent Type Systems},
   booktitle = 	 {Handbook of Automated Reasoning},
   publisher =	 {Elsevier},
   year =	 2001,
   editor =	 {A. Robinson and A. Voronkov}
+}
+
+@inproceedings{barbosa-et-al-cvc5,
+  author    = {Haniel Barbosa and
+               Clark W. Barrett and
+               Martin Brain and
+               Gereon Kremer and
+               Hanna Lachnitt and
+               Makai Mann and
+               Abdalrhman Mohamed and
+               Mudathir Mohamed and
+               Aina Niemetz and
+               Andres N{\"{o}}tzli and
+               Alex Ozdemir and
+               Mathias Preiner and
+               Andrew Reynolds and
+               Ying Sheng and
+               Cesare Tinelli and
+               Yoni Zohar},
+  editor    = {Dana Fisman and
+               Grigore Rosu},
+  title     = {{cvc5}: A Versatile and Industrial-Strength {SMT} Solver},
+  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2022 (I)",
+  series    = {Lecture Notes in Computer Science},
+  volume    = {13243},
+  pages     = {415--442},
+  publisher = {Springer},
+  year      = {2022},
+  XXXurl       = {https://doi.org/10.1007/978-3-030-99524-9\_24},
+  XXXdoi       = {10.1007/978-3-030-99524-9\_24},
 }
 
 @inproceedings{cvc3,
   author    = {Clark Barrett and Cesare Tinelli},
   title     = {{CVC3}},