--- a/src/Doc/manual.bib Tue Sep 30 14:19:25 2014 +0200
+++ b/src/Doc/manual.bib Tue Sep 30 14:40:48 2014 +0200
@@ -389,6 +389,22 @@
pages = "107--121",
year=2010}
+@inproceedings{bouton-et-al-2009,
+ author = {Thomas Bouton and
+ Diego Caminha B. de Oliveira and
+ David D{\'{e}}harbe and
+ Pascal Fontaine},
+ title = {{veriT}: An Open, Trustable and Efficient {SMT}-Solver},
+ year = {2009},
+ pages = {151--156},
+ editor = {Renate A. Schmidt},
+ booktitle = {Automated Deduction --- CADE-22},
+ series = {Lecture Notes in Computer Science},
+ year = {2009},
+ volume = {5663},
+ publisher = {Springer}
+}
+
@Article{boyer86,
author = {Robert Boyer and Ewing Lusk and William McCune and Ross
Overbeek and Mark Stickel and Lawrence Wos},
@@ -517,6 +533,12 @@
publisher = Prentice,
year = 1986}
+@inproceedings{cruanes-2014,
+ author = "Simon Cruanes",
+ title = "Logtk: A {Logic ToolKit} for Automated Reasoning, and its Implementation",
+ year = 2014,
+ note = {Presented at the Practical Aspects of Automated Reasoning (PAAR) workshop}}
+
%D
@Book{davey-priestley,