--- a/src/Doc/manual.bib Thu Jun 12 17:02:03 2014 +0200
+++ b/src/Doc/manual.bib Thu Jun 12 17:02:03 2014 +0200
@@ -193,6 +193,27 @@
year = {2007}
}
+@inproceedings{cvc4,
+ author = {Clark Barrett and
+ Christopher L. Conway and
+ Morgan Deters and
+ Liana Hadarean and
+ Dejan Jovanovic and
+ Tim King and
+ Andrew Reynolds and
+ Cesare Tinelli},
+ title = {{CVC4}},
+ booktitle = {CAV 2011},
+ year = {2011},
+ pages = {171--177},
+ editor = {Ganesh Gopalakrishnan and
+ Shaz Qadeer},
+ publisher = {Springer},
+ series = LNCS,
+ volume = {6806},
+ year = {2011}
+}
+
@incollection{basin91,
author = {David Basin and Matt Kaufmann},
title = {The {Boyer-Moore} Prover and {Nuprl}: An Experimental