diff -r 3581dcee70db -r 2b106aae897c src/Doc/manual.bib
--- a/src/Doc/manual.bib	Thu Aug 11 13:23:00 2022 +0200
+++ b/src/Doc/manual.bib	Fri Aug 12 15:35:07 2022 +0200
@@ -181,6 +181,36 @@
   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}},